Поиск патча

Оно из коробки работает.
# gzip -9 microcode.ko
# depmod
# ls -la microcode.ko.gz
-rw-r--r-- 1 root root 4066 Апр 16 15:14 microcode.ko.gz
# modprobe microcode
# dmesg |tail -1
IA-32 Microcode Update Driver: v1.14a <tigran@aivazian.fsnet.co.uk>

Хм... а у меня без манипуляций в /lib/modules/`uname -r`/modules.dep не работает.

Нет, я имел в виду - чтобы при выполнении make modules&&make modules_install они сами гзипились

Просто сделай после modules_install:
find /tmp/lib/modules -type f -name "*.ko" -exec gzip -9 {} \;
и
depmod

man find, man xargs, man depmod

/tmp лишнее :) Тренировался на кошках^W^W в /tmp ;)

Всем большое спасибо. Заработало.