board: fix parameter of get_device_serial_number()