Got the ARM board from Yaqube this week and as usual - it took only a brief moment and it was installed:
I got a beta-version of the firmware from Yaqube to verify. And it works really good including the hard file support and the overclocking features. Also, the new core supports the AD724 now with proper S-video output on my board. More to come...