[SeaBIOS] [PATCH 10/10] Unify pmtimer_read() and pittimer_read() code.