Implement the interrupt (CTRL-C) handler in the kernel