This patch corrects the following: - Corrects a problem that prevents a user from using the ipcs command on a system whose kernel has been booted from a file that is not /vmunix.