Kernel fixes