powerpc/powerpc32/power6/fpu
