cpuid_getsockettype
return (cpuid_getsockettype(HDLPRIV(hdl)));
socket = cpuid_getsockettype(CPU);
extern uint32_t cpuid_getsockettype(struct cpu *);