/sys/arch/sgi/stand/boot64/