AndroidKernel: Fix my build

Change-Id: I3c542a23d1ead8de5a182abfaaab3ba3f7d3ac41