Though, just because it can flash the kernel separately doesn't mean it has to be stored elsewhere - its just dealing with files after all.

And, if its stored elsewhere, -where- would it be stored?