RealView: Update the realview-smp_defconfig file to a newer kernel