[coreboot] New patch to review for coreboot: 760338b Revert "Fix mainboard level enable_dev()"