[arch-releng] [PATCH 1/4] [configs/releng] Use gummiboot-efi instead of UEFI Shell for booting