Added kernel printf to replace direct calls to terminal IO
Changed error handler to use kprintf