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