Add a hack for compiling a 32 bit user space with a 64 bit kernel on x86_64

libc/sysdeps/linux/i386/bits/kernel_types.h

@@ -4,7 +4,11 @@
  * our private content, and not the kernel header, will win.
  *  -Erik
  */
-#ifndef __ARCH_I386_POSIX_TYPES_H
+
+/* a hack for compiling a 32 bit user space with 64 bit
+ * kernel on x86_64  */
+#if !defined(__ARCH_I386_POSIX_TYPES_H) && !defined(_ASM_X86_64_POSIX_TYPES_H)
+#define _ASM_X86_64_POSIX_TYPES_H
 #define __ARCH_I386_POSIX_TYPES_H
 
 typedef unsigned short	__kernel_dev_t;