master
[malloc] Rename malloc_dma() to malloc_phys()
[hyperv] Provide timer based on the 10MHz time reference count MSR