/sys/arch/sgi/stand/boot32/