[coreboot-gerrit] Patch set updated for coreboot: 0d9df84 lenovo/x201: Move mainboard init to mainboard_init.