[coreboot] Where is the serial number stored on the thinkpad ivy/sandy bridge laptops