chiark / gitweb /
efi-boot-generator: simplify