저도 데비안을 쓰고 있는데 같은 문제점을 겪고있습니다.
 메인보드는 asus의 cuv4x-d이고, 스카시 컨트롤러는 adaptec-2940uw인데
기본적으로 설치했을 때 커널은 smp가 지원되는 상태입니다.
그런데, top에는 cpu가 하나만 뜨고, /proc/cpuinfo에는
두개의 cpu정보가 있는데, 하나는 cpu0, 다른 하나는 cpu3입니다.
 게시판을 검색해보니 레드햇6.x에서는 top이 cpu하나만 뜨고
7.x에서는 두개 다 뜬다고 하는데, 그것이 커널 문제인지 아니면
top의 문제인지는 잘 모르겠습니다.
top의 경우 제가 따로 사용하는 wowlinux7.1에 설치된 것이나
데비안에 있는 것이나 버전은 2.0.7로 같습니다.
 $ top -v
top (procps version 2.0.7)
 그리고, /proc/stat에 보면 cpu0, cpu1의 정보가 나오는데
stat파일은 어떤 내용인지를 제가 정확히 몰라서
이게 제대로 된 것인지 모르겠습닏 -_-;;;;
 누가 좀 더 자세히 아시는 분 있으면 알려주시길 바랍니다!!
  : : debian potato를 깔았습니다.
: :
: : 허나 top을 치면 cpu가 하나만 뜨는 군요.
: :
: : 그래서 커널컴파일을 해봤는데....
: :
: : 계속 알수 없는 에러가 뜨면서 부팅이 되지 않습니다.
: :
: : 분명 smp 옵션을 체크 했는데...왜 그런지 모르겠습니다.
: :
: : 인스톨 될때 기본으로 만들어진 이미지로 부팅이 되면.....
: :
: : cpu가 0과 3으로 잡힙니다.
: :
: : 왜 그런 걸까요??
: :
: : 혹시 아시는 분 가르쳐 주세요.
: :
: : --
: : 나 참....
:
: 저는 데미안을 써보지 않아서 뭐라고 말 할수 없습니다만
: cpu2개를 쓰는데 래드헛과 비슷한 터보리눅스 6.1을 쓰는데
: 여기서 TOP을 치면 cpu가 한개가 나옵니다만
: dmesg로 확인해 보면 cpu0, cpu1로 잡혀있어요
: 그리고 경로가 다를지 모르나 cat /proc/cpuinfo해서
: 보면 두개가 나와 정상으로 잡혔지요
: 제가 보기엔 2개가 다 인식 되었다고 생각됩니다
: TOP을 버전업 해보세요 저도 상위버전 터보리눅스 7에서
: top을 치면 두개 나옵니다