According to Todd Vierling:
> 
> How does this help you if you TFTP in your kernel?  (Shark, for instance.
> Perhaps pmaxes too, who MOP in the kernel.)
> 
Maybe one can use a URL, at least then it can be identified, if not 
actually used :-)

By the way, I have no clue what a SHARK is, can someone let me know if 
it is something worth knowing about, and why?

> In general, `machdep.booted_kernel' can not really be made MI, and relying
> on it in the system is Bogus.
> 
Well, maybe we need an indication as to whether is is Bogus, or not.

++L