xtensa: nommu is in qemu-git available

target/xtensa/Makefile

@@ -11,15 +11,17 @@ else
 KERNEL:=$(LINUX_DIR)/arch/xtensa/boot/uImage
 endif
 
-QEMU_ARGS:=-M kc705
-QEMU_ARGS+=${ADK_QEMU_ARGS}
+QEMU_ARGS:=${ADK_QEMU_ARGS}
 ifeq ($(ADK_TARGET_CPU_XTENSA_DC233C),y)
+QEMU_ARGS+=-M kc705
 QEMU_ARGS+=-cpu dc233c
 endif
 ifeq ($(ADK_TARGET_CPU_XTENSA_DC232B),y)
+QEMU_ARGS+=-M kc705
 QEMU_ARGS+=-cpu dc232b
 endif
 ifeq ($(ADK_TARGET_CPU_XTENSA_DE212),y)
+QEMU_ARGS+=-M kc705-nommu
 QEMU_ARGS+=-cpu de212 -m 256
 endif