fix a kernel-mode compile warning