x86_64: Fix machdep.smp_active sysctl type.