This also happens on plain x86 processors. The original bug was found on a PIV.
Perhaps it shouldn't be marked as x86_64.
This also happens on plain x86 processors. The original bug was found on a PIV.
Perhaps it shouldn't be marked as x86_64.