Kernel sources

Modified kernel sources