Is thinkpad T420i (4178CWG) compatible with Coreboot?

Differences between the T420i and the T420