Fixed it so it makes sense, but I find that highly unlikely. I have composed a sort of chart outlining the most likely future of the three Amiga-Like OSes:
Current Future
MorphOS PPC------> ARM & PPC (Or X86?)
AROS X86 & PPC--->X86 & X64
AOS 4 PPC---------->PPC
It's a real possibility that you will also see AROS running on EFIKA-MX before A1X1K is released.