4.2.2 prebuilt kernel

Change-Id: I53855d7d410071288a57765ec43b6942bbbc3ba5