/resources/libreboot/config/grub/t400_4mb/
../
config