Support tc_config's dom0_vcpus field