branches: 1.2.12;
Remove sgimips from multi-cd sets where EXTFILES.sgimips is defined.
A bootable sgimips has a volume header prepended, and so is useless for
anything but sgimips. The issue was not found before because the
logic to make an ISO bootable on sgimips was broken, and has been fixed by
tsutsui@ on 2007/03/04.