diff --git a/ChangeLog b/ChangeLog
index 67780acccf..eaccb2cf50 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2015-03-06  Joseph Myers  <joseph@codesourcery.com>
+
+	* soft-fp/soft-fp.h [!_LIBC && __KERNEL__]: Include
+	<asm/sfp-machine.h> instead of <sfp-machine.h>.
+
 2015-03-06  Roland McGrath  <roland@hack.frob.com>
 
 	* manual/install.texi (Configuring and compiling):
diff --git a/soft-fp/soft-fp.h b/soft-fp/soft-fp.h
index d0171e3845..db94e0b3ef 100644
--- a/soft-fp/soft-fp.h
+++ b/soft-fp/soft-fp.h
@@ -34,6 +34,10 @@
 
 #ifdef _LIBC
 # include <sfp-machine.h>
+#elif defined __KERNEL__
+/* The Linux kernel uses <asm/*.h> names for architecture-specific
+   files.  */
+# include <asm/sfp-machine.h>
 #else
 # include "sfp-machine.h"
 #endif