Is support for the Rockchip RK3399 mainlined yet? Mali T860? Anyone know off the top of their heads?