Hi there, I am running kernel 4.14.14 under gentoo testing on an AMD kaveri box.The version of GCC I am using is 7.2. Whether that means the reptoline patch is working for me I am not quite sure but it could be I guess.....Someone who is smarter than the average bear has written a patch for the spectre problem with no performance penalty:I am not sure if you can do this as debian testing or experimental.CheersMichael Fothergill