Good luck getting timely mainline Linux support if ever. Rockchip usually provides an ancient patched kernel without much willingness to upstream their changes. They usually leave things for the community to sort out. On the other hand, x86 has the best mainline support which you can count for awfully long time to be around.