Investigando otras cosas (GNU Guix), me han descubierto que compartir la conexión de red de un teléfono Android via USB es... ¡trivial!

Tampoco hay tantos escenarios donde vaya a ser útil, pero simplemente conectando el cable, seleccionando compartir conexión en el teléfono... cualquier Linux normalito autoconfigurará la conexión a red compartida.