Re: PPC boot.iso broken today?