ntoskrnl is a windows system file. It will not cause your keyboard to work. In fact, the other way round is usually the case. The kernel is what the OS uses to process information between software and hardware.
Using one of those keyboards that is known good, try to get into the BIOS. The method for this varies from one manufacturer to another. Some use the delete key (such as ASUS), some use F2 (such as Intel), some use F10 (such as Compaq and I believe, Dell). Do you have a major brand or a custom build rig? Look up the information for your major brand or system board to determine the proper keystroke.
This will ultimately test things. If you have taken your keyboards to other machines and know them to function properly, then your keyboards work. If your known good keyboards (the more units tested, the better) fail to allow you into the BIOS, chances are that the BIOS is shot in some way.
I really cannot think of anything else that it could be. The BIOS is the basic building block of the machine and if that is not recognizing the keyboard, no driver on the planet will fix it.