Fixed horrible mistakes in kernel logging