Index: kernel/arch/ia32/include/types.h
===================================================================
--- kernel/arch/ia32/include/types.h	(revision f476e76f55d2a90975277593ea1bcc21fb6d523c)
+++ kernel/arch/ia32/include/types.h	(revision e386cbf7b94023b86cf28ea0747181297aa532e7)
@@ -62,3 +62,2 @@
 /** @}
  */
-