Add a workaround for buggy vbox' HPET.

10s timer fires immediately on real hardware (?).