To generate proper simulator launching scripts, the TTBR needs
to be set in the MMU object. This was missing for LPAE page tables.
Set it.

Change-Id: I236df9db59290e4fe90c1959a9a92b51622c821e