HelenOS sources

VendorAMD         117 kernel/arch/amd64/src/cpu/cpu.c 			CPU->arch.vendor = VendorAMD;
VendorAMD         130 kernel/arch/ia32/src/cpu/cpu.c 			CPU->arch.vendor = VendorAMD;