Pre-built kernel

Change-Id: I66a3a28d6d427836d9ad212ea8ebac6f6344a931