[SeaBIOS] [PATCH 05/10] Rename cpu_khz to TimerKHz.