fix KERNEL_DIR?