I'll admit that I'm not familar with Windows kernel architecture, but having a lodable module that supported the 3c509 that's not loaded when it's not needed would hardly be bloat. If Windows is monolithic enough that it can't do that, then it's even more decrepit than I'd previously thought.