use 3.1 kernel

Change-Id: Idc187308544b2c6d5b07370d4da5130c15c7f068