SBI-based debug console is not read on RISC-V

[mkroening]

We should use sbi_rt::console_read and sbi_rt::console_write instead of sbi_rt::console_write_byte for our default RISC-V console.