Warner Losh 5b896b567d Turns out to be even simpler to just not create /dev/efi if we don't ... have a efi runtime.		2017-08-08 21:01:11 +00:00
..
efidev.c	Turns out to be even simpler to just not create /dev/efi if we don't	2017-08-08 21:01:11 +00:00