use a kernel that will actually boot up for g2

Change-Id: Iddeb8f093da31a483b8d6ee6d31cf1bc7776482b