use board serial number from device tree