[coreboot] Patch set updated for coreboot: c37e587 mainboard.c: Name enable_dev function uniformly `mainboard_enable`