[coreboot] Re: coreboot not starting on denverton_ns