Si todo lo que estás haciendo es alimentar la señal atenuada a un puerto digital de Arduino, entonces simplemente usa un divisor de potencial de resistencia: -
Digamos que haces R2 = 1 kohm, entonces R1 tiene que ser 7/5 * 1 kohm = 1,4 kohm
Podrías optar por hacer R1 = 1,5 kohm (por si los 12 voltios suben un poco). Comprueba tus niveles lógicos altos en el Arduino para ver qué tan alto puede estar R1 antes de que no registre un uno lógico cuando hay 12 voltios en la entrada.
Por ejemplo, muchos IOs son compatibles con TTL, lo que significa que 2 voltios es el mínimo lógico 1, así que haz un divisor de potencial de 12 voltios a 3 voltios. Esto haría que R1 = 1,8 kohm.
El uso de valores de resistencia bastante bajos significa que los tiempos de subida y bajada no se verán afectados en gran medida en la salida (a diferencia de un op-amp o un comparador que probablemente empeorará los tiempos de subida y añadirá un retraso). Si puedes, mantén la sencillez.