Preventing context switching while executing kernel code

[AlbertoZaupa]

Make sure that interrupts are disabled while kernel code is being executed, for example while servicing a system call.