kernel and device projects in the manifest

Change-Id: I1186463db42bf29aa2140cec159c690dec07a044