kernell_definitions: Never build GKI kernel unless stated.

Change-Id: Idbf4aede933711cb20749834b1a8c8d228670ffb
1 file changed