switched to kernel version 3.14.12-rt9 with vivante and freescale device drivers