Update kernel sources