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