# CONFIG_ZYNQMP_IPI_MBOX is not set