fix for kernel switch.