Re: [PATCH 4.14] x86/retpolines: Fix up backport of a9d57ef15cbe