Enable kernel-cache by default. Provide a disable option in
configure script --disable-kernel-cache