kernel: modified null string handling in kprintf