original_kernel/tools/wmi/Makefile