/drivers/coreboot/cbmem