Use 4.2.2 prebuilt kernel from Google