Fix hwclock on virtual machines