olivieer wants to try this kernel for taoshan

Change-Id: I783ac2edf452020abd15aa3426d458de0ba42fb2