Support tc_config's force_non_debug_xen field