Поиск патча

Оно из коробки работает.
# 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>

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