Calculate TCR bits based on VA and PA

Currently the TCR bits are hardcoded in xlat_tables.c. In order to
map higher physicall address into low virtual address, the TCR bits
need to be configured accordingly.

This patch is to save the max VA and PA and calculate the TCR.PS/IPS
and t0sz bits in init_xlat_tables function.
Why is this both asserting (max_addr < ADDR_SPACE_SIZE) and returning the condition? Either a) return void, or b) remove the assert here and assert where it's called below instead. I slightly prefer the latter.