I have installed RPI Linux Installer of Teensyduino on an RPI previously.
I simply took the teensy loader code and copied it from the RPI to the OPI, and tested it.
The testing was not extensive, but the software did run, so I expect I will be able to use the teensy loader to upgrade Teensies in the field with an OPI if necessary.