Outside the kernel in the sense that it doesn't really run as part of it. Same as other firmware. Kernel just treats it as data that needs to be pushed somewhere.
I'm guessing the distribution together with the rest of the kernel source is just a convenience thing.