[SeaBIOS] [PATCH 06/10] Shift CPU TSC down to reduce need for 64bit variables.