This belongs with the rest of the code in init_amd_k8() which gets
executed on family 0xf.
Signed-off-by: NBorislav Petkov <bp@suse.de>