[coreboot] Stepping in boot code of DB800 via JTAG