Move kernel to new home

Change-Id: I8341bfd2e9dfe870be4147f0178544595ca02580