Just a thought here, why is it that kickstart can get enough support to port games to intel X86 and to have big books created, but so far nothing to port the Amiga OS that has been sitting on hyperion shelves in their broom closet to the Intel architecture? I am sure this has been discussed, but I have been out of the loop for a while.
In principle, the idea is fine, but it probably comes 15 years too late. Back then, the decision was made to move towards PPC - and I believe I already commented back then that this would be a bad choice. Now see, it was indeed a bad choice.
Anyhow, nowadays it would probably not make any difference. With funding money, AmigaOs sources could be used to help AROS to establish such an Os, which might probably find some users, or at least attract open source developers. It will remain a niche product for sure.
I personally see a much more realistic and useful future in FPGA emulations of the 68K and the Amiga custom chips, and for that AmigaOs sources would be more beneficial than for x86 rewrites. This is basically because existing applications - the few we have - run on 68K, and not much would be ported to x86 anyhow, so x86 would probably be not a "dead end", but at least a very slow going.