А там вообще непонятно. По идее мой ноутбук должен поддерживаться модулем speedstep-ich. Однако при попытке его загрузить, вылетает такая же ошибка, мол устройство не найдено. Зато p4_clockmod работает без проблем. Но он, в отличие от speedstep-ich, не может менять напряжение проца.
Так что можно попробовать загрузить другие модули. Авось заработает.