Yes, if you dig into the posts on Amigaworld.net you can find a statement from Rigo (some kind of developer of AmigaOS, not that Simon, sorry
) that x86 AND Mac Mini is ruled out (this statement was made last week).
Personally if the next AmigaOS system is another 1000 dollar sub 1 GHz system you can have your next gen AmigaOS system shoved up where the sun never shines... mildly put