Hello, I believe this bug was fixed sometime in the past (I can't tell exactly when). Reading your bug I see it must be related to the kernel autoloader. Today I can happily autoload modules (some are loaded at boot too). Feel free to reopen the bug if you disagree. Thanks -- mattia :wq!