Re: [coreboot] AMD64 BKDG questions