Linux Kernel 3.0.31 KitKat-ready (with Mali r4) for Mixtile Garage and UrBetter s702 (aka Hyundai T7s)