[coreboot] Patch set updated for coreboot: 24a3100 Fix mainboard level enable_dev()