Comment un patch vieux de 20 ans ralentissait les machines Linux sous AMD