New official kernel 1.4m released