fix the CI failure of target specific option mismatch

Qiyu8 · Qiyu8 · commit e0dac6b53b27 · 2020-11-12T20:31:03.000+08:00
diff --git 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
