Eu pensei que os carregadores que foram recuperados pelo firmware da NIC são executados pelo controlador da NIC, mas isso está errado. Este carregador é executado pelo BIOS ou pelo EFI. O BIOS é um ambiente de 16 bits, o EFI é um ambiente de 32/64 bits. Assim, o carregador deve ser compatível com o ambiente de execução. Obrigado pelo link Gerenciando carregadores de inicialização EFI para Linux