Stock kernel directly from alcatel