[X86] Fix 512->256 typo in comments. NFC.