Index: linux-2.4.35.4/arch/mips/kernel/branch.c
===================================================================
--- linux-2.4.35.4.orig/arch/mips/kernel/branch.c	2007-12-15 05:19:41.102763351 +0100
+++ linux-2.4.35.4/arch/mips/kernel/branch.c	2007-12-15 05:19:55.259570100 +0100
@@ -170,7 +170,7 @@
 		bit = (insn.i_format.rt >> 2);
 		bit += (bit != 0);
 		bit += 23;
-		switch (insn.i_format.rt) {
+		switch (insn.i_format.rt & 3) {
 		case 0:	/* bc1f */
 		case 2:	/* bc1fl */
 			if (~fcr31 & (1 << bit))