defconfig: added stable tag to kernel
Update the kernel code to 20130726.