VendorAMD 58 kernel/arch/amd64/src/cpu/cpu.c VendorAMD, VendorAMD 61 kernel/arch/ia32/src/cpu/cpu.c VendorAMD,