First attempt at addressing the GCC 4.3 build, which failed on x86_64
        because ptrace-abi.h (included by ptrace.h) uses the "u32" typedef,
        which relies on <asm/types.h>, and include/asm-x86_64/types.h does not
        not typedef u32 as done in include/asm-x86/types.h.