Kernel build flag

Change-Id: I808714672cd4a6f5732e37e68a6b4b2e8eadf825