print_all_nki() is superfluous now that nki.inf is generated by nki2inf.pl