Fixed Kernel Bugs