Index: kernel/arch/arm32/include/istate.h
===================================================================
--- kernel/arch/arm32/include/istate.h	(revision 0d8269b0ede82319cdf579f85786877a03ae370c)
+++ kernel/arch/arm32/include/istate.h	(revision edb0a333c9779b0144668ae2411c63d9f4d4654b)
@@ -49,4 +49,5 @@
 /** Struct representing CPU state saved when an exception occurs. */
 typedef struct istate {
+	uint32_t dummy;
 	uint32_t spsr;
 	uint32_t sp;