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
2 files changed