VendorIntel 59 kernel/arch/amd64/src/cpu/cpu.c VendorIntel VendorIntel 62 kernel/arch/ia32/src/cpu/cpu.c VendorIntel