CONFIG_SYS_EXTRA_OPTIONS="MK_edb9315a"
CONFIG_ARM=y
CONFIG_TARGET_EDB93XX=y