realview: switch to 3.10 kernel