Index: kernel/arch/ppc32/src/exception.S
===================================================================
--- kernel/arch/ppc32/src/exception.S	(revision f892ed3b1ead6db400671bf1e99fdb0b5af3c724)
+++ kernel/arch/ppc32/src/exception.S	(revision 7f9d97f3ef14161b0334989eea3a64581e2c86cc)
@@ -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