SBI call wrappers
use sbi call to putchar in console (qemu uart handler)
general sbi call
use sbi call to set timer
use sbi call to shutdown the kernel