This message was posted on behalf of Intel Corporation
In Yocto, the way to look at the Serial number is through cat /factory/serial_number. The output is the correct one and matches the label on the module. It’s hard to say how to obtain the serial number in Debian since we don’t support any image besides the Yocto image.
If you wish to download the latest Yocto image go to: https://software.intel.com/en-us/iot/hardware/edison/downloads so we can provide better assistance.