This requirement is currently met in KLIPS1, and will be retained for future work.
While LKM is a permitted configuration, it must always be possible to compile the module statically.
