Do you know any devices with that CPUs which is freely available on the market with accessible price and good port count ?
Personally, I currently don’t see demand for that, we rather will focus on x86 and we have some experimental ARM builds, but as you can imagine, any porting is time-consuming
Commercially talking about MikroTik boxes with that CPUs, they have paid licenses for their os level 4 and up, don’t see why they will allow/help porting something that can affect their revenue
Maybe someone from community will want to pick this up, some day, but currently, there are no plans for that