# CONFIG_ZYNQMP_POWER is not set