board: renaming get_device_serial_number