# CONFIG_ARCH_MXC is not set