I am going to suggest that you contact IPD support to see if you can get an authoritative answer:
http://www.ebi.ac.uk/support/ipd.php
You could blast the kir_nuc.fasta against the concatenated file to see if everything is represented in the large single file. My hunch is that it is likely true.