altos/stmf0: Use device ID as usb serial number if requested