Re: [PATCH] serial: Add a debug console using the RISC-V SBI interface