Adding two new mapping info files for the tsar_generic_xbar platform:
The two using 40 bits physical addresses