Note that Linux already does something that is equivalent to this, after
having tried the keyboard controller a few times (more like a hundred, if
I remember correctly). Anyway, if the keyboard controller doesn't do
anything to the kernel, the kernel will do something like this (from
memory, I'm too lazy to check):
lidt(null_idt);
which essentially zeroes out the exception table information. The next
interrupt that comes in will result in a triple fault, and shutdown. And on
most PC chips (all that I've seen) the shutdown line will lead to a reset..
But try out 2.1.0 first: that does a cold reset with the keyboard
controller as default, and it may turn out to work for you. If it
doesn't, you can test the alternative method by just ifdef'ing out the
keyboard controller reset code.
Linus