A lot of people seem to have the whole x86 thing the wrong way around! Having your favourite Hobby OS on the x86 doesn't magically make it any more or less desirable, what it does do, is lower the barrier to entry and keeps prices down for the hardcore fans. Win win... Really simple guys!
If you want an Amiga like OS on x86 (AOS4 is not AmigaOS), then AROS sounds perfect for you.
I can't see an x86 port of AOS4 happening ever. It might be great for the users, but it pretty much destroys any chance of making any money.
They wouldn't even be able to raise venture capitalist funding, because all they'd be doing is producing a competitor to windows & linux that will never gain a significant portion of the market.