Re: [SeaBIOS] HPET configuration in Seabios