Fix kernel sync breakage

Change-Id: I9ef0a8da3ed6d25382781860d231b5b0e9b4b535