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