Klogger: The Kernel Logging Framework