DragonBoard's Android Linux kernel version 3.4 with RTLinux patches