Fixed kprintf on hosted side -- removed kabort and noreturn