[SeaBIOS] [PATCH 02/10] Don't pass khz to pmtimer_setup - it's always PM_TIMER_FREQUENCY.