The IOMMU parser currently only supports short-descriptor format page
tables but hardware supports long-descriptor format page tables. Add
support for the long-descriptor format. Most of the existing LPAE MMU
code can be re-used for this, although it must be refactored a bit.

Change-Id: I464d7edeb8818c0be9de1e1a8224bc9b478eac37