powerpc/powerpc64/e5500/fpu
