[kbuild-all] Re: [PATCH 20/43] instrumented.h: add KMSAN support