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

see "# dmidecode"

Under system information and base board information

I am curious as to how it survives the coreboot flash re-write, maybe 
the EC?