Re: [coreboot] x86: best approach to debug consumer hardware?