Nathan Whitehorn 7fad9ac96c Now that GENERIC can boot on UEFI systems (r268158), switch the build to use ... UEFI-compatible images. These will boot as before on BIOS systems, but will boot using the UEFI loader on UEFI-aware systems.		2014-07-02 15:23:13 +00:00
..
make-memstick.sh
mkisoimages.sh