Re: updated kernel not used by default