Updated x13 kernel