system support for loadable kernel modules