Make preferred kernel configurable