Yes. I did not do any benchmarking, but I can clearly see that in imaginary situation it may take longer time to load builtin modules just because there're a lot of addons that are already loaded. Perhaps, it is mostly a matter of "style", but it would be still good to know that, even after loading 1'000'000 addons, loading non-cached builtin module will take reasonably small amount of time.