Thanks! That was helpful!

Looks like a good tip. Found this:

https://web.archive.org/web/20251112132449/https://wiki.debian.org/InstallingDebianOn/Marvell

The specs say it’s Marvell 6281 1.2GHz… not sure what that is but the search leads to some deeper specs for a RISC CPU that is both 32bit and 16bit. The info is dicey because “6281” does not appear in those docs. In any case, I suspect you’re right, that it’s not 64 bit.