Читаю тут "Linux Device Drivers" и узнаю что на major number выделяется всего 12 бит.

Получается в ядро нельзя впихнуть больше 4096 драйверов?

Звучит как-то маловато