Calculate the T0SZ bits based on ADDR_SPACE_SIZE

The ADDR_SPACE_SIZE definition in platform_def.h and the T0SZ field
must have relationship: ADDR_SPACE_SIZE + T0SZ == 64. This is
because we use the ADDR_SPACE_SIZE to define the Level1 translation
table size and alignment.