/resources/libreboot/config/grub/kgpe-d16_16mb/
../
config