# CONFIG_ZYNQMP_PM_DOMAINS is not set