HelenOS sources

VendorIntel       126 kernel/arch/amd64/src/cpu/cpu.c 			CPU->arch.vendor = VendorIntel;
VendorIntel       138 kernel/arch/ia32/src/cpu/cpu.c 			CPU->arch.vendor = VendorIntel;