overridden if MACHINE_LOADFILE_MACHDEP is defined. This makes life much simpler in the face of the myriad of different boot options for the evb* ports.