Does Le Potato (AML-S905X-CC) have a unique Serial Number readable in software?

I need to uniquely identify a subscribing device to a service.

The Raspberry Pi has a unique CPUID serial number that can be read from /proc/cpuinfo. Standard Linux has a dmidecode command that returns information about the hardware and serial numbers. All of these return either 0’s or Not Specified on Le Potato.

Is there a software-available unique identifier for Le Potato, or any of the Libre Computer products?

The only thing I could approximate this with is to use

ethtool -P eth0

which returns the permanent MAC address. Is there anything else available?

The S905X SoC has an unique 96-bit serial number located here: