aries: set correct machine number to allow booting without fastboot