I see that your full image has 32-bit "userland". Why is that so? For example, the Debian image for the ODROID-N1 has 64-bit "userland". Couldn't your images be also fully 64-bit to utilise the full potential of the RK3399?