…
..
efibootmgr_default_to_grub2.patch	efibootmgr: switch default grub loader to EFI/void/grubx64.efi.	2015-07-12 08:55:01 +02:00
portability.patch