Symbol: mdb_cpu2cpuid