/resources/coreboot/t440pmrc_12mb/config/