tree 76d9b88174811f40c4b60722bad383e5cb5e3b04
parent c5e9e7c983f4ce01f69c80d4258db5e0d97dbb68
author Rashed Abdel-Tawab <rashed@linux.com> 1529127953 -0700
committer Jackeagle <jackeagle102@gmail.com> 1568093885 +0200

kernel: Add TARGET_KERNEL_ADDITIONAL_FLAGS to allow setting extra cflags

Also fix KERNEL_MAKE_FLAGS not being used by the kernel make command

Change-Id: I8786d6c1de6652f87a02c990c4b56f62b0cc0203