doc: use KCFLAGS instead of EXTRA_CFLAGS to pass flags from command line