Add board-internal to get serial number