Improved kernel logging facilities