Man page for top(1) still refers to /vmunix as a system image instead of /kernel. Fix: Fix is following (patch for /usr/src/contrib/top/top.X): How-To-Repeat: man 1 top
State Changed From-To: open->closed Patch applied. Thanks!