Kernel: Bug fix -- on system call, touch kernel_flag only after switching to the kernel memory bank