realview: add support for 3.10 kernel