I thought of another way. Kind of crude, but it might work. This would allow the firmwares to be identical.
Assuming you have a spare PRU GPI in each, you could set the pull-up on one pin, and a pull-down on the other.
Then you just read the appropriate value of the bit in __R31. Of course you would have to carefully select the pins so they are the same bit in __R31.
So if those pins are spoken for in your application, this isn't going to work.
Hopefully someone will know a method which is baked-in to the system.