They have they Power series of chips so it would be really weird if they were to choose x86 (even x86_64)