Si desea saber cuál es el número de arquitectura de máquina correcto para su dispositivo, le recomendamos que eche un vistazo aquí.
También hay una buena base para el funcionamiento básico del cargador de arranque ARM aquí.