And they are allowed to build a whole proprietary
cathedral (including kernel modules) on top of it.
But note that there's a difference between a mere aggregation and a
combination of several modules into one program. The GPL Faq describes
that precisely.
Marek