[SeaBIOS] [PATCH 01/10] Move internal timer code from clock.c to a new file timer.c.