diff --git a/kernel/Makefile.build.dcfa b/kernel/Makefile.build.dcfa
index cf0a2719..1a07af24 100644
--- a/kernel/Makefile.build.dcfa
+++ b/kernel/Makefile.build.dcfa
@@ -3,7 +3,7 @@ OBJS = init.o mem.o debug.o mikc.o listeners.o ap.o syscall.o cls.o host.o
 OBJS += process.o copy.o waitq.o futex.o timer.o plist.o fileobj.o
 DEPSRCS=$(wildcard $(SRC)/*.c)
 
-CFLAGS += -I$(SRC)/include -mcmodel=kernel -D__KERNEL__
+CFLAGS += -I$(SRC)/include -D__KERNEL__
 CFLAGS += -DKNC_MAP_MICPA $(EXTRA_CFLAGS)
 
 ifeq ("$(DCFA_MODE)", "kmod")
diff --git a/kernel/Makefile.build.in b/kernel/Makefile.build.in
index 9aac2e26..a7705aef 100644
--- a/kernel/Makefile.build.in
+++ b/kernel/Makefile.build.in
@@ -6,7 +6,7 @@ OBJS += process.o copy.o waitq.o futex.o timer.o plist.o fileobj.o shmobj.o
 OBJS += zeroobj.o procfs.o devobj.o sysfs.o
 DEPSRCS=$(wildcard $(SRC)/*.c)
 
-CFLAGS += -I$(SRC)/include -mcmodel=kernel -D__KERNEL__ -g
+CFLAGS += -I$(SRC)/include -D__KERNEL__ -g
 LDFLAGS += -e arch_start
 IHKOBJ = ihk/ihk.o
 
diff --git a/kernel/config/config.attached-mic b/kernel/config/config.attached-mic
index c91e8dc6..f6360ce0 100644
--- a/kernel/config/config.attached-mic
+++ b/kernel/config/config.attached-mic
@@ -1,6 +1,5 @@
 CC = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-gcc
 LD = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-ld
 
-CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
 LDFLAGS += -m elf_k1om -T $(SRC)/config/attached-mic.lds
 LDFLAGS_MKIMAGE = -m elf_k1om
diff --git a/kernel/config/config.builtin-mic b/kernel/config/config.builtin-mic
index 987a0f40..fe25a059 100644
--- a/kernel/config/config.builtin-mic
+++ b/kernel/config/config.builtin-mic
@@ -3,6 +3,5 @@ LD = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-ld
 OBJDUMP = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-objdump
 OBJCOPY = /usr/linux-k1om-4.7/bin/x86_64-k1om-linux-objcopy
 
-CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
 LDFLAGS += -m elf_k1om -T $(SRC)/config/builtin-mic.lds
 LDFLAGS_MKIMAGE = -m elf_k1om
diff --git a/kernel/config/config.builtin-x86 b/kernel/config/config.builtin-x86
index 9cf1b0c6..1614c306 100644
--- a/kernel/config/config.builtin-x86
+++ b/kernel/config/config.builtin-x86
@@ -1,2 +1 @@
-CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
 LDFLAGS += -T $(SRC)/config/builtin-x86.lds
diff --git a/kernel/config/config.smp-x86 b/kernel/config/config.smp-x86
index 02097a9d..bd0c4606 100644
--- a/kernel/config/config.smp-x86
+++ b/kernel/config/config.smp-x86
@@ -1,2 +1 @@
-CFLAGS += -mno-sse -mno-mmx -mno-sse2 -mno-3dnow
 LDFLAGS += -T $(SRC)/config/smp-x86.lds