vhci(ude) uses WPP SW tracing for kernel log instead of DbgPrintEx().
It requires a tool like TraceView.exe. Brief instruction for kernel log
of vhci(ude) is added to README.md.