chiark / gitweb /
efi-boot-generator: don't mount /boot eagerly