QEMU emulation of fmadds instruction on powerpc64le is buggy