/resources/libreboot/config/t500