New official kernel released.