kernel: support setting extra CFLAGS for kernel compilation