On hw, `Page_flags` is used throughout architectures. At the same time, it is used by the Intel IOMMU page table implementation in the pc platform driver. Consolidate the definition in base so it is available for all users. Issue #5217