Re: [SeaBIOS] [PATCH] build: add opt-out for timestamp and hostname