Index: kernel/arch/ia32/Makefile.inc
===================================================================
--- kernel/arch/ia32/Makefile.inc	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/ia32/Makefile.inc	(revision b535aebfcb7a8ea104bc8714a16879753bb853d0)
@@ -48,16 +48,20 @@
 	SUNCC_CFLAGS += -xarch=ssea
 endif
+
 ifeq ($(PROCESSOR),athlon_mp)
 	CMN2 = -march=athlon-mp
 	SUNCC_CFLAGS += xarch=ssea
 endif
+
 ifeq ($(PROCESSOR),pentium3)
 	CMN2 = -march=pentium3
 	SUNCC_CFLAGS += -xarch=sse
 endif
+
 ifeq ($(PROCESSOR),pentium4)
 	CMN2 = -march=pentium4
 	SUNCC_CFLAGS += -xarch=sse2
 endif
+
 ifeq ($(PROCESSOR),core)
 	CMN2 = -march=prescott
Index: kernel/arch/ia32/include/types.h
===================================================================
--- kernel/arch/ia32/include/types.h	(revision 177e4ea4f278b1d53d68392d53cd40704cd0931d)
+++ kernel/arch/ia32/include/types.h	(revision b535aebfcb7a8ea104bc8714a16879753bb853d0)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
@@ -36,13 +36,5 @@
 #define KERN_ia32_TYPES_H_
 
-typedef signed char int8_t;
-typedef signed short int16_t;
-typedef signed long int32_t;
-typedef signed long long int64_t;
-
-typedef unsigned char uint8_t;
-typedef unsigned short uint16_t;
-typedef unsigned long uint32_t;
-typedef unsigned long long uint64_t;
+#include <arch/common.h>
 
 typedef uint32_t size_t;