Has anyone attempted to serve out the IRIX kernel and operating system from a debian netboot server to an SGI machine? A colleague and I have gotten reasonably far, but then the IRIX kernel seems to be looking for a bootparams server