RealView: Update the realview_defconfig file to a newer kernel