powerpc/powerpc64/e6500/fpu
