Re: [PATCH v2 04/14] x86: Handle KCOV __init vs inline mismatches