kernels in manifest... and easier to keep up to date.

Change-Id: I9e9a882f248df0efe9a8cb905e47b53946950e5e