Это правда. Только драйверы GDI могут использовать win32k.sys, и наоборот - драйверы GDI могут быть статически связаны только с win32k.sys.
Причина этого заключается в том, что большинство внутренних компонентов Windows загружаются в глобальное пространство памяти, тогда как win32k.sys загружается в так называемое «пространство сеанса». Некоторая информация здесь:
http://www.tar.hu/wininternals/ch07lev1sec4.html
Проще говоря - большинство компонентов Windows и драйверов загружаются один раз для всей системы, тогда как такие вещи, как управление пользовательским интерфейсом, GDI и т. Д., Загружаются за сеанс.
Во время выполнения существует непростая возможность для драйверов GDI получить указатели на функции ntoskrnl и использовать их, и наоборот - драйверы WDM с некоторым усилием могут использовать функции win32k (которые будут работать для «текущего» сеанса). *
В любом случае, зачем вам ссылаться на win32k? Какой функционал вам нужен?