New official kernel released