Kernel switch correction