If serial is available to be parsed (probably from /proc/cpuinfo), it should format it to GenPi64-replace-short-serial