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