Это ограничение на код. Можно считать что DDK поставляется в бинарном виде. Но объектный файл имеет кучу недостатков, а в таком виде код получается платформо независимым и в таком виде его уже можно добавлять в OpenSource проекты. Код Tau-PCI в таком виде уже примерно год как в FreeBSD. Единственное чему он противоречит это style(9). Лицензия на код в таком виде вполне подходит для использования в FreeBSD. Мне кажется что это довольно удачный компромис между комерческими интересами и требованиями OpenSource проектов.