[realview] add support for 3.8 kernel