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