d710 needs to share it's kernel

Change-Id: I7bf17d9ca66f102ef6b28e5ff30f2cb8b1a02a05