Kernel build flag

Change-Id: I478e1057bc17d4ff23269f093fe142410aa17f8f