Symbol: RPI_POWER_DOMAIN_COUNT