GCC: remote --with-synci for 4kc