Fix stack smashing in kernel related to nested interrupts

[Dreaded-Gnu]

There is from time to time a random stack smash in kernel. It seems to be related to the fact, that during scheduling when there is no other task to switch interrupts are enabled again to handle sleeping processes with wfi.