3 ms·

"AMD64" is simply a Trade Mark. But the problem being discussed is the separate IP issue of patents.