Samsung GT-I8268 Marvell PXA988 kernel