Me topé con el siguiente esquema:
Se supone que reduce el voltaje máximo entre el pin de entrada GPIO y la fuente de corriente a 3.3V, ya que 5V * (10K / (10K + 5K)) = 3.3V. La cosa es que - 3.3V es el voltaje sobre la resistencia de 10K y 1.7V es el voltaje sobre el de 5K. Siempre que la corriente fluya desde la fuente al sumidero, el voltaje entre la fuente y el pin GPIO debería ser de 1.7V. ¿Qué me falta?