Re: [coreboot] [PATCH]Use __DATE__ and __TIME__ instead of date(1)