[coreboot-gerrit] Patch merged into coreboot/master: 23d1232 mainboard/lenovo/x201: correct sata_port_map