7c85e00e1c
I added a bootfile entry to /kern so every program could examine the Path and name of the kernel. Submitted by: mr