32bit efiブートの罠にハマった、というオチは勘弁