Well, the OMAP5 is still one of the better SoCs we can use right now.
The iMX might be a candidate in the future, but one issue is that most SoCs don't really support Linux that well.
I found that out with the Gemini: While Android runs great on that MediaTek SoC, Linux is performing worse than on the Pyra.
The kernel is outdated (and can't be updated thanks to MediaTek) and as the screen is more than FullHD and no hardware accelleration can't be used, stuff like LibreOffice crawls slower than on the Pandora...
So yeah, we should keep our eyes open for newer SoCs, but we also need to be aware of the Linux support (and even though a lot of OMAP5 stuff is unfinished in the kernel, it's open and we can add these things ourselves and use modern kernels as well).