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