# CONFIG_MXC_DEBUG_BOARD is not set