So, not even a response after more than a month (and several months since the issue of 64-bit images was first brought up). At this point I'd say this is just a bait & switch - advertising a board as 64-bit, without providing any viable way to actually run it in 64-bit mode. FWIW I do realize 64...

I'm also interested in the 64-bit images. It seems rather weird to advertise the board as 64-bit, when in fact there are no images supporting that.

I see xsacha posted links to github repository with 64-bit kernel/uboot a month ago - has anyone managed to get that working with nanopc-t3?