¿Qué tipo de puerto serie mejoró en su día la velocidad del puerto USB para la comunicación con periféricos?