So if A-eon made a highend board with 1366 socket and Core i7 CPU. How much would that board cost? Probably at the same price (or near) as X1000 as I guess Core i7's aren't sold to cheap in the 100's either?
However AmigaOS could be ported to x64 and initially be made to run on most boards without optimization or even utilizing every feature of the chipsets. Everything has to start from somewhere.
As PPC is dual endian a start would be to change the endianness of OS4 to be the same as x86/x64 while still developing the PPC version. Then it would be much simpler to port it, I would guess. Don't know how hard this would be though. I seem to remember OS4 devs talking about AmigaOS making assumptions about endianess thus making it really hard to change or make endian "aware".