Update the kernel code to 20130726.