The chip that changed the world: AMD's 64-bit FX-51, ten years later ...