Re: [SeaBIOS] [PATCH] Probe HPET existence