> То есть суммарно должно отображаться 4 проца, а у меня видно только два.

Ядро. Следуй Пути:

machine        i386            # Arch type
cpu        I686_CPU        # CPU type
ident        GENERIC            # Kernel name

# To statically compile in device wiring instead of /boot/device.hints
#hints        "GENERIC.hints"        # Default places to look for devices.

###options     SCHED_ULE        # ULE scheduler
options     SCHED_4BSD        # 4BSD scheduler
options     PREEMPTION        # Enable kernel thread preemption
options     INET            # InterNETworking
options     FFS            # Berkeley Fast Filesystem
options     SOFTUPDATES        # Enable FFS soft updates support
options     UFS_ACL            # Support for access control lists
options     UFS_DIRHASH        # Improve performance on big directories
options     PROCFS            # Process filesystem (requires PSEUDOFS)
options     PSEUDOFS        # Pseudo-filesystem framework
options     GEOM_GPT        # GUID Partition Tables.
options     COMPAT_43        # Compatible with BSD 4.3 [KEEP THIS!]
options     COMPAT_FREEBSD4        # Compatible with FreeBSD4
options     COMPAT_FREEBSD5        # Compatible with FreeBSD5
options     SCSI_DELAY=15000    # Delay (in ms) before probing SCSI
options     KTRACE            # ktrace(1) support
options     SYSVSHM            # SYSV-style shared memory
options     SYSVMSG            # SYSV-style message queues
options     SYSVSEM            # SYSV-style semaphores
options     _KPOSIX_PRIORITY_SCHEDULING        # POSIX P1003_1B real-time extensions
options     KBD_INSTALL_CDEV    # install a CDEV entry in /dev
options     AHC_REG_PRETTY_PRINT    # Print register bitfields in debug output. Adds ~128k to driver.
options     AHD_REG_PRETTY_PRINT    # Print register bitfields in debug output. Adds ~215k to driver.
options     ADAPTIVE_GIANT        # Giant mutex is adaptive.

options         MAXDSIZ=(1024UL*1024*1024) # 512UL
options         MAXSSIZ=(512UL*1024*1024)  # 64UL
options         DFLDSIZ=(1024UL*1024*1024) # 128UL

options        SMP            # Symmetric Multi-Processor kernel
device        apic            # I/O APIC
options        HZ=2000
options        ACCEPT_FILTER_DATA
options        ACCEPT_FILTER_HTTP

# Firewall options
options        IPFILTER
options        IPFILTER_LOG
options        IPFIREWALL
options        IPFIREWALL_VERBOSE
device        pci        # PCI bus support
device        ata        # ATA bus support
device        atadisk        # ATA disk drives
device        atapicd        # ATAPI CDROM drives
options     ATA_STATIC_ID    # Static device numbering
device        ahd        # AHA39320/29320 and onboard AIC79xx devices
device        scbus        # SCSI bus (required for SCSI)
device        da        # direct access (disks)
device        cd        # CD
device        pass        # Passthrough device (direct SCSI access)
device        asr        # DPT SmartRAID V, VI and Adaptec SCSI RAID
device        atkbdc        # AT keyboard controller
device        atkbd        # AT keyboard
device        kbdmux        # keyboard multiplexer
device        vga        # VGA video card driver
device        splash        # Splash screen and screen saver support
device        sc        # sys console
device        em        # Intel PRO/1000 adapter Gigabit Ethernet Card
device        loop        # Network loopback
device        ether        # Ethernet support
device        tun        # Packet tunnel
device        pty        # Pseudo-ttys (telnet etc)
device        bpf        # Berkeley packet filter
device         random        # Random generator

# chm monitor
device        smb
device        smbus        # System management bus
device        intpm        # Intel power management
device        iicbus        # I2C bus system
device        iicsmb        # I2C to SMB bridge
device        iicbb        # I2C generic bit-banging driver

# HDD encryption
options        GEOM_ELI        # HDD encryption GEOM provider
device        crypto            # SSL library in kernel support