[coreboot] riscv: How to debug