question about vmunix

Hi,

One of the hpux server running hpux 11.23 root drive went bad - do mirror.we tried to install the os from media ...and then did a restore on the disk so that we get verything as back.now..do we have to rebuild the kernel(system and vmunix got restored from backup) using mkkerneleven though we have the vmunix restored from backupthanks in advance for the response