Currently, we assume that the linux image name is "bzImage", but this
varies depending on platform.  On MIPS, the name is "vmlinuz".  This
modifies our 'grub-configuation-file' generation code to use "vmlinuz"
on MIPS.

      Mark