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