Upgrade the kernel tree.

Now with separate patches (applied already), and the binary build.