[PATCH] Documentation/Intel-IOMMU.txt: Modify definition of DRHD

[PATCH] Fix bug in iommu_context_addr: Always get pointer to lower extended-context-table