This should be fixed now - we were using the wrong kernel (powerpc rather than powerpc64-smp) by mistake.
This should be fixed now - we were using the wrong kernel (powerpc rather than powerpc64-smp) by mistake.