Re: [coreboot] Denverton FSP usage