I got an X200 a long time ago before I got deeper into all this corebooted Thinkpad affair. As you may (or not) know, the iconic X200 is one of the few first corebooted Thinkpad.
The one I got came with coreboot already. Seems the previous owner decided it would be a good idea to cut off the WWAN...