HP社のノートパソコンを中古で購入し、Windows7からWindows10へのアップグレードも順調だったのだが、32bit版だったため、せっかく購入した増設メモリが認識されず、Linux Mintをインストールすることにしたのである。 しかしねえ、うまく行かなかった。EFI…