update kernel sources