Updated x11 kernel