Index: kernel/arch/arm32/include/istate.h
===================================================================
--- kernel/arch/arm32/include/istate.h	(revision 0d8269b0ede82319cdf579f85786877a03ae370c)
+++ kernel/arch/arm32/include/istate.h	(revision 0f323d30795a087aa2dc11c185f6ebcc4a4dc506)
@@ -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;