K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2014-07-02T15:23:13.997714Z
K 7
svn:log
V 203
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.

END