Re: [coreboot] [PATCH] Halt TCO timer on Intel 3100 chipset