In Car device using the TX1

We are building a product for in car usage. The power supply specification as per the TX1 specification is:

VDD_IN (VDD_MUX) Main power – Supplies PMU & external supplies 5.5V- 19.6V

But in car, the max battery power supply is at 12V. Will this have any impact on my device processing power? If yes, what would this limit to?

No impact with 12V input.

thanks!