I think nfc support is alalready here, there are simply no applications using it right now. At least /dev/pn54x is already there, libnfc with qt bindings is availible and nfc is no longer listed in the unsupported list on the HADK page. (purely speculating here, might be that it's not functional at all yet)