В /sys/devices/system/cpu - cpu0 и cpu1.
в /var/log/kernel.log написано, что инициализировано 2 cpu.
Получается, сообщение про smp #1 - просто ошибка, на самом деле система работает с двумя cpu. Одного не хватает для полного счастья - посмотреть в консоли загрузку обоих cpu. Подскажите соответствующую утилиту, пожалуйста.