I believe there is a new version of the Efika MX in the pipeline with better specs, was going to get one to tinker with but went for a Mele A1000 instead (which appears not to have moved since it was tracked at Shenzhen at the end of last month *sigh*).
The ARM port of AROS is being developed on the Efika smarttop model
http://www.youtube.com/watch?v=A1oQVh5cjng