Dear Charles,
I do agree that my "fix" is not worth an official patch, not only because it is inelegant but because we haven't found the exact cause of the problem. I think at the moment we need to collect more reports, just to know if I am the only one experiencing this issue. Tomorrow I'll post a message with a small cut&paste of the piece of code I've changed, as a reference if some other person encounters the same problem. As a final notice, the 200ms delay is not noticeable at all. The overall boot time is almost the same, and the installing time of the module is less than a second.
I'd like to thank you all people for the support and help.