# CONFIG_ARCH_MSTARV7 is not set