Linux : un patch vieux de 20 ans ralentit des systèmes AMD