pub fn shutdown() -> !
use sbi call to getchar from console (qemu uart handler) use sbi call to shutdown the kernel