x86_64: fix a few bugs in the >8 floating point args case