Maybe your guess is right , this is mine:
$ cat /proc/device-tree/serial-number VF7110B1-2253-D008E000-00001551