Dragonboard android kernel with RT Linux support