[kbuild-all] Re: [PATCH] gcov: fail build on gcov_info size mismatch