board: fix parameter of get_deviec_serial_number()