K 10
svn:author
V 6
kevans
K 8
svn:date
V 27
2018-03-15T19:41:26.582180Z
K 7
svn:log
V 141
r322279: Don't create /dev/efi without EFI runtime

Turns out to be even simpler to just not create /dev/efi if we don't
have a efi runtime.

END