platform/i86pc/kernel/cpu/amd64/cpu.AuthenticAMD.15
platform/i86pc/kernel/cpu/cpu.AuthenticAMD.15
