Add debug output to printf implementation (disabled by default)
Simplify test case
Mark printf testcase as XFAIL on 32-bit x86

On 32-bit x86, accessing int4 via va_arg segfaults (wrong alignment?)