Will the Efika 5K2 run Amiga OS 4.0???
Rumour has it, that it does. But I seriously doubt that it would ever be sold for EFIKA.
Morphos 2.0 is coming soon, as is AROS for the EFIKA. Morphos is quite good at running 3.x software. AROS isn't (yet!) but it's open source and free.
SAM440 will hopefully run OS4 and should run AROS - it's all a bit up in the air at the moment - hopefully things should be clearer by the Autumn. :-)