Linux Kernel 3.4 For NovaThor ux500 Devices