Operating System hardening : Dealing with external interrupts