diff --git a/[refs] b/[refs]
index 82d292b2d678..3b8b9b20be4d 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: a4ed06ad83acc3b7dafc018bc0b27469e787e27d
+refs/heads/master: f1a60dbf68061e5a5364cbc723786b355637ffd3
diff --git a/trunk/init/main.c b/trunk/init/main.c
index 36f608a7cfba..46508300d6b9 100644
--- a/trunk/init/main.c
+++ b/trunk/init/main.c
@@ -73,6 +73,10 @@
 #error Sorry, your GCC is too old. It builds incorrect kernels.
 #endif
 
+#if __GNUC__ == 4 && __GNUC_MINOR__ == 1 && __GNUC_PATCHLEVEL__ == 0
+#warning gcc-4.1.0 is known to miscompile the kernel.  A different compiler version is recommended.
+#endif
+
 static int init(void *);
 
 extern void init_IRQ(void);