Index: kernel/generic/include/time/timeout.h
===================================================================
--- kernel/generic/include/time/timeout.h	(revision ad58fd2c61f108df5c75951d8f2ba2d015952c9e)
+++ kernel/generic/include/time/timeout.h	(revision 46a47c0ecde5eec9824d8b22b70d9238a2b3a58e)
@@ -43,6 +43,4 @@
 
 typedef struct {
-	IRQ_SPINLOCK_DECLARE(lock);
-
 	/** Link to the list of active timeouts on timeout->cpu */
 	link_t link;