Experimental new kernel for S4

Change-Id: I6be2a0d6b6eea1399048fed2293059272dc7337a