# CONFIG_ARCH_MXC is not set
