I think that I flashed the same binary to two different devices. I turned one of, changed the name in the file and reflashed it. However the device still appears under the wrong name. Can someone tell me how I could change the internal ID or any other way to sort this out?