[coreboot-gerrit] Patch merged into coreboot/master: 80c1ecc lenovo/x201: Move mainboard init to mainboard_init.