Log Decoder for Decoding Instrumented Kernel Log