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