From: Viktor Malik on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2749#note_1609...
Argh, it won't work b/c [
samples/bpf/Makefile:315](https://gitlab.com/cki-
project/kernel-ark/-/blob/os-build/samples/bpf/Makefile?ref_type=heads#L315)
overrides `TPROGS_CFLAGS` for one target.
It looks like we'll need a Makefile patch after all so I'm a bit inclined
towards introducing a new variable `TPROGS_EXTRA_CFLAGS` which can be set from
CLI and is always appended to `TPROGS_CFLAGS`.