jmcneill 86731f078b Use "efi" boot image platform ID.		2020-11-15 00:19:17 +00:00
..
boot.cfg.in
Makefile
Makefile.cdrom	Use "efi" boot image platform ID.	2020-11-15 00:19:17 +00:00