chiark / gitweb /
efi: various cleanups