I think the OP has jumped to a conclusion. In the worst case you should be able to write a driver using the DDK (some drivers will absolutely need dynamic code

I think the OP has jumped to a conclusion. In the worst case you should be able to write a driver using the DDK (some drivers will absolutely need dynamic code) to circumvent the problem. More likely there are things in the huge, in flux and poorly documented API that will let you do it.