CONFIG_HYPERV_TIMER=y
