Update sysinfo-platform

Modify the get_serial_num() for get the correct serial number for this platform.