kernel: use KCFLAGS for passing EXTRA_OPTIMIZATION flags