[linux-xenclient-dom0] enable and use HRTIMERs for better sound