x86: setup_arch 32bit move efi check later