BIOS_Get_Serial_Number
Get the serial number of the IPC@CHIP device.
unsigned long BIOS_Get_Serial_Number ( void );