I turned a $80 RK3562 Android tablet into a Debian Linux workstation