I managed to work around this by modifying the VM definition XML (Overview, switching Details to XML), replacing
<clock offset="utc">
...
<timer name="hpet" present="no"/>
</clock>
with present="yes".
I was unable to find any GUI interface to switch on hpet in my Virtual
Manager setup.
--
Happy hacking
Petter Reinholdtsn
