I vaguely remember Hyperion saying they would port it to another system at 'the right price.'
If AROS does half the work of making drivers for an ARM platform, maybe they can work together.
What's the point in "porting" OS4 to x86, you're just re-inventing the wheel, AROS is already there, the only thing it lacks is "the name".