Se você quiser saber qual é o Número de Arquitetura da Máquina correto para o seu dispositivo, você pode querer dar uma olhada aqui.
Há também uma boa cartilha na operação básica do carregador de inicialização ARM aqui