chiark / gitweb /
efi: efi_get_boot_options() should already sort the entries, the random order in...