差分

使用したLattepandaは「4G/64G」です。

「2G/32G」の場合、UEFIが32bitの場合があるそうです（「最近出荷されたものは64bitになっている」とフォーラムには記載されていました<ref name="LP_forum_32or64" />）。