[SeaBIOS] HPET configuration in Seabios (was: Re: windows workload: many ept_violation and mmio exits)