3776 /* active cpuid */