Stableのダウンロードページでは、CPUタイプやファイルタイプなどが選択できる。記事内でも触れている通り、システムがuEFIの場合、CPUタイプはAMD64、ファイルタイプはzipを選択。その他の場合はCPUタイプにi686を選択し、USBイメージ書き込みツールを使うならISOイメージをダウンロードすればよい。ISOイメージをUSBメモリに直接書き込んだ物はuEFIでもLegacyBIOSでも正常に動作するようだ
