Alcatel OT_985 kernel