How many people would be willing to volunteer to port AOS4.x to X86?
Are you trying to gather such people together to make a porting attempt, or what do you mean? Are you looking for some support for some porting you plan to do yourself?
AROS is as close as you're going to get, why not support it? They need developers to port applications and work on the OS itself, and rather than waste anyone's time trying to get hold of official OS4 sources, they could be spending the time improving AROS...