[kbuild-all] Re: [PATCH v3 12/14] tools/kernel.h: hide noinstr