Updates for .32 kernel support

Change-Id: Id12d27c61419d1e3b1f197910615ca57a414a871