module.c: kernel: make an exception in module loading to load proprietary modules