fix the CI failure of target specific option mismatch

diff --git a/kernel/Makefile b/kernel/Makefile
index fb1d5d3..fd9105f 100644 (file)
--- 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