Latitude 5420: NFC Chipset?

Does anyone know what chipset is used for NFC in the 5420?  (I'm talking about the normal 5420, NOT the rugged.)  I want to upgrade my laptop to the palmrest with the NFC interface, but I need to make sure there are Linux drivers for the chipset.  Thanks!