Re: kernel-4.14.14-200.fc26 and GCC / retpoline