Update source revision of the kernel