Index: boot/arch/ppc32/loader/regname.h
===================================================================
--- boot/arch/ppc32/loader/regname.h	(revision 7b187ef6f8a1aeda140487a35c3664962045e88c)
+++ boot/arch/ppc32/loader/regname.h	(revision 0867321c69ae9c3f09757e7ced1c100a578f28e3)
@@ -209,14 +209,15 @@
 
 /* MSR bits */
-#define msr_ir	(1 << 4)
-#define msr_dr	(1 << 5)
+#define msr_dr	(1 << 4)
+#define msr_ir	(1 << 5)
+#define msr_pr	(1 << 14)
 #define msr_ee	(1 << 15)
 
 /* HID0 bits */
+#define hid0_sten	(1 << 24)
 #define hid0_ice	(1 << 15)
 #define hid0_dce	(1 << 14)
 #define hid0_icfi	(1 << 11)
 #define hid0_dci	(1 << 10)
-#define hid0_sten	(1 << 7)
 
 #endif
