Files
operating-system/buildroot/board/pc/genimage-efi.cfg