Odpovídáte na názor k článku AMD Zen5 má problém s RDSEED. Názory mohou přidávat pouze registrovaní uživatelé. Nově přidané názory se na webu objeví až po schválení redakcí.
Souhlas, že nemají rovnou referencovaný pdfko je opruz. Ale najít MSR_AMD64_CPUID_FN_7 jde, mě stačilo do googlu hodit "MSRc001_1002" a je to první odkaz :-D.
18 RDSEED. Read-write. Reset: Core::X86::Cpuid::StructExtFeatIdEbx0[RDSEED].
A těch R/W bitů tam je víc, třeba se dá nastavit AVX2. Předpokládám (i když je to spekulace), že vypnutí bitu zároveň vypne i dekodér toho opkódu.
Ale u toho patche by fakt chtělo, aby někdo použil symbolické jméno místo hodnoty natvrdo.