[coreboot] Re: denverton: crash when using coreboot 4.17