x86_64 vararg support is not so simple.

This reverts the changes made in db89b5eea and adds a few
extra comments/annotations. Note that the out attributes on
va_start/va_copy don't actually affect our codegen.