diff --git a/kernel/Makefile b/kernel/Makefile
index fb1d5d39a..fd9105fee 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -5,6 +5,10 @@ endif
 TOPDIR	= ..
 include $(TOPDIR)/Makefile.system
 
+ifdef HAVE_FMA3
+CFLAGS += -mfma
+endif
+
 ifeq ($(ARCH), power)
 ifeq ($(C_COMPILER), CLANG)
  override CFLAGS += -fno-integrated-as