[OS-BUILD PATCHv2 2/2] NOT_UPSTREAM/HYPERV: Enable HYPERV_TIMER on ARM64