GPS-based CERN-LNGS time link for Borexino