chiark / gitweb /
boot: efi - add config option to disable the command line editor