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