K 10 svn:author V 6 emaste K 8 svn:date V 27 2016-01-07T20:10:49.728320Z K 7 svn:log V 250 MFC r281524 by andrew@: Use MACHINE in the efi loader when it is what we mean It may not be the same as MACHINE_CPUARCH, it just happened to be the case the architectures this code currently supports. Fixes build failure reported by Oliver Pinter. END