linux mint debian 双核变单核(已解决)

[yueguang]

最近装了linux mint debian发现系统很流畅，但是在编译ANDROID的时候发现很卡，然后才发现系统监视器里面竟然只有一个CPU信息
用sudo /usr/sbin/dmidecode可以查到是两个
Processor Information
Socket Designation: Microprocessor
Type: Central Processor
Family: <OUT OF SPEC>
Manufacturer: Intel
ID: FD 06 00 00 FF FB EB BF
Version: Not Specified
Voltage: 3.3 V
External Clock: 200 MHz
Max Speed: 2000 MHz
Current Speed: 2000 MHz
Status: Populated, Enabled
Upgrade: None
L1 Cache Handle: 0x0700
L2 Cache Handle: 0x0701
L3 Cache Handle: Not Provided
Serial Number: Not Specified
Asset Tag: Not Specified
Part Number: Not Specified
Core Count: 2
Core Enabled: 2
Thread Count: 2
Characteristics:
64-bit capable
但是用cat /proc/cpuinfo 只能看到一个
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Core(TM)2 Duo CPU T7250 @ 2.00GHz
stepping : 13
cpu MHz : 800.000
cache size : 2048 KB
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe nx lm constant_tsc arch_perfmon pebs bts aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm lahf_lm ida dts tpr_shadow vnmi flexpriority
bogomips : 3988.57
clflush size : 64
cache_alignment : 64
address sizes : 36 bits physical, 48 bits virtual
power management:
内核是 3.0.0-1
求教～～帮忙～～～帮助～～～，不想过这样阉割的生活啊。。

打开包管理器，搜索pae版本的内核装上，OK。