Hi Charles,
it would be nice if you could extend the wiki page http://www.coreboot.org/EC:lenovo/x201 I'ven't found anything yet, what's x201 specific.
A good source of EC behaviour is the OEM ACPI Tables (dsdt) and the thinkpad acpi lkernel module.
Best, lynxis