! refactoring of stdout
! kernel mode debug with lock mechanism
! kernel printf -> printk