[SeaBIOS] [PATCH] tsc: use kvmclock for calibration