Re: [coreboot] Stepping in boot code of DB800 via JTAG