CC3D Revolution Mini and OP GPS -> no gps?

Yes it is, you are right, that will not work.

Maybe you will need to change the Hardware def and compile your own version.
Recently there was someone who did that: