Fix va_arg handling.

The change of symbol emission ignored the fact that the va_arg intrinsic must be handled in a special way. This commit corrects the omission (which leads to seg faults on Linux/PPC64).