Symbol: HV_X64_CLUSTER_IPI_RECOMMENDED