Re: [coreboot] [PATCH]: Disable boot timer in SB600