/resources/libreboot/config/grub/t400_16mb/