ARM: Defer lookup of machine_type to setup.c