[coreboot-gerrit] [S] Change in coreboot[master]: xeon/spr: Set ACPI CPU string for 12bit