Fix systemC patch link in instructions