/resources/libreboot/config/t400