New official ge kernel released