rk3399 ubuntu16.04系统有64位的吗？有编译好的64位ubuntu系统吗？用来编译的内核代码是32位的还是64位的？我能用ubuntu官网上arm架构的64位内核编译出来64位的rk3399的系统吗