[PATCH 5.4 411/475] xen: delay xen_hvm_init_time_ops() if kdump is boot on vcpu>=32