coreboot / dispatcher-config