Hi,
I agree with you.
Even if those are very similar chips, they are different silicons.
And they should not have common header files.
This looks like an issue of the example.
Lets see if someone from AUTOSAR team can comment on this. But best is to submit a ticket on NXP.com and then they must take care of it.
Peter