chiark / gitweb /
build-sys: make EFI support build-time optional