[arch-releng] [PATCH 4/4] [configs/releng] Increase efiboot.img size