/resources/libreboot/config/grub/x200_8mb/