Don't use KERNEL_INCLUDE unless necessary.

(Logical change 1.14)
1 file changed