The userspace process may map pages where the kernel has allocated data and cause a crash.
This patch fixes this issue by having a separate IRQ handler which sets the kernel page table at the start of SchedulerInterruptHandler() and restores it in SchedulerHandlerStub() function.