Опрос: ядро с kernel.org vs kernel*.rpm

Без флейма, пожалуйста.
И только для сисадминов.

Какое ядро Вы используете на обслуживаемых Вами системах:
1. Использую родное бинарное ядро из дистрибутива. Обновление ядра делаю средствами самого дистрибутива (up2date, apt-get и т.п.)
2. Беру исходники ядра из дистрибутива (src.rpm), накатываю дополнительные патчи, пересобираю в бинарник и расставляю получившийся бинарник по машинам.
3. Беру исходники с kernel.org, накатываю патчи, собираю бинарник и в бинарном виде расставляю по машинам.
4. На каждой машине собираю ядро с kernel.org с уникальными патчами.

Если не сложно, дополнительно напишите, сколько компьютеров Вы обслуживаете.

Спасибо.