Re: [coreboot] Debugging techniques for GeodeLX-based platforms