Kernel w/ Mali400 @ 400MHz

Change-Id: I2e89a33e54a009392c6db4276be6a19d223d4de2