EXTRA_CFLAGS is deprecated and stopped working in 6.15(ish) Ref: https://bugs.debian.org/1106709 Ref: e966ad0edd Change-Id: Iba835c7dca89106ff2ca7ffba8a7de947c9a4ff8 (cherry picked from commit 38700abf0b)
e966ad0edd
38700abf0b