Re: [SeaBIOS] Easy to add time stamps?