--- zzzz-none-000/linux-4.9.231/arch/mips/pic32/common/reset.c	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5530-730/linux-4.9.231/arch/mips/pic32/common/reset.c	2022-08-31 08:19:48.000000000 +0000
@@ -22,7 +22,7 @@
 {
 	while (1) {
 		__asm__(".set push;\n"
-			".set arch=r4000;\n"
+			".set arch=mips32r2;\n"
 			"wait;\n"
 			".set pop;\n"
 		);