arm64: Use FEAT_HAFDBS to track dirty pages when available

Some recent arm64 cores have a facility that allows the page
table walker to track the dirty state of a page. This makes it
really efficient to perform CMOs by VA as we only need to look
at dirty pages.

Bug: 217161634
Signed-off-by: Marc Zyngier <maz@kernel.org>
Change-Id: Iba2b67ba8c3d153c53c09d86eb42e3b35e18483a
3 files changed