Fix module loading for vkernel.