Set KERNEL_DIR to avoid inclusion of host-side linux sources, closes #702