Um SO de 64 bits pode ser carregado em um processador de 64 bits quando o EFI é de 32 bits?

Question

Estou com dificuldades para obter um Chromebook carregado com um novo SO . O Chromebook é um Toshiba CB35-B3330 e tem um sistema de 64 bits Intel Celeron N2840 . Estou com dificuldades porque não consigo obter nenhuma informação útil sobre o motivo da falha (por exemplo, me disseram que ela falha, mas não há mensagens ou arquivos de log detalhando por que ela falhou).

Quando eu verifico a saída de crossystem , ele relata o X86 e não o X86_64:

$ crossystem --all | egrep -i "(x86|64)"
arch                   = x86                            # Platform architecture

Eu estou supondo que o EFI está seguindo o Chrome OS, ou seja, o seu 32 bits também. Eu realmente não acompanhei o desenvolvimento da BIOS e da EFI em cerca de 20 anos, então sou meio desinformado quando se trata de detalhes exatos de interações e operações.

Um sistema operacional de 64 bits pode ser carregado em um processador de 64 bits quando o firmware é de 32 bits?