defconfigs: increase CONFIG_NUM_DOMAINS to match number of example cells