I think the ADC input is 3.3v maximum on most carrier boards. The Kore carrier has a 6.6v maximum.
You would need a voltage divider like 5.6k and 10k
