No, es puldown, lo he mirado también varias veces porque también me extraña. A todo esto, al reiniciar el micro (dándole a un pulsador de reset) también se pone ese pin a 1.4v. El pin está multiplexado para varias funciones y tal (pero lo tengo BIEN configurado para q trabaje como SPI). Otra pregunta relacionado con esto es, aunque yo lo consiga bajar por programación a 1.4v, al enchufar la alimentación del micro y antes de cargar mi programa se pondría a 1.4v... con lo cual no me estaría fastidiando igual?
Leyendo por enésima vez el datasheet, justo después de un reset de hardware queda configurado como un pin de propósito general, pero de entrada, con lo cual sigo sin entender esos 1.4v
Un saludo