diff --git a/board/pc/grub-efi.cfg b/board/pc/grub-efi.cfg old mode 100755 new mode 100644