chiark / gitweb /
Remove gnuefi support