Index: kernel/arch/ppc32/src/exception.S
===================================================================
--- kernel/arch/ppc32/src/exception.S	(revision 235d31de52ec23ea2a4cb3b7837814333820b9cd)
+++ kernel/arch/ppc32/src/exception.S	(revision 59fa7ab26f7b4336f753dcd52b89d6cac0dfca97)
@@ -299,5 +299,5 @@
 	mfmsr r12
 	or r12, r12, r0		# Propagate MSR_FP from SRR1 to MSR
-	ori r12, r12, (MSR_IR | MSR_DR)
+	ori r12, r12, (MSR_IR | MSR_DR | MSR_EE)
 	mtsrr1 r12