Hi Steven,
While x86 support is good, the embedded landscape is dominated by ARM, and currently Genode seems to have weaker driver support for small modern ARM systems. The Wand Quad would be a good platform to develop in this regard (vs, say, Arndale). Rpi would be another. (We've had little luck getting Genode running on any recent model of rpi, but maybe it wouldn't take much to change this.)
I agree that the Freescale i.MX SoC should receive some love from us in 2018. From my perspective, the most interesting features would be the addition of USB and networking support.
Are you planning to enable Genode on a more recent Raspberry Pi? This would be a very welcome contribution! ;-)
Cheers Norman