Ensure that the short-descriptor page table code is included under the
SMMU entry, and add Robin as a designated reviewer.
Acked-by: NRobin Murphy <robin.murphy@arm.com>
Signed-off-by: NWill Deacon <will.deacon@arm.com>