I don't see the average x86 user wanting to pay for AmigaOS unless it's much superior to others. What will AmigaOS get people on x86 that they cannot get for free with other OS? So it's really "just" the current Amiga users that will find the easier route (x86) to using OS4? Is that the main point here?
Well, the same could be said about MorphOS... why would you run it next to Mac OS which is a superior OS in every way.
Listening to Hyperion guys at Amiwest today I think they're firmly set to remain a hobbyist market with the AmigaOS and AmigaONE brands. They do not even want to market outside of the community(by their own words, if I haven't got something wrong, the stream was a little laggy at first). So, there's really no point in asking about average x86 users... better ask yourself why would a average AmigaOS user want with a x86 hardware? The answers are... it's cheap, fast and it's plentiful.
How bout a x86 AmigaONE X1000 for 1000$ instead of 3000$+ offering the same speed and functionality...
But, I think it's too late for that. AROS is too strong today and I think Hyperion would find it hard to justify paying for x86 OS4 next to AROS today. Had it been done 2-3 years ago it would have been possible.