Is there anything standing in the way of people making open source cores that would be binary compatible with a modern POWER core? I love RISC-V's inroads in embedded, research, and education but I'm a bit skeptical of it succeeding in application cores in its current form and open POWER cores might be another road to open source hardware.