The pmap_change_attr() API is private on arm64, but there are other
functions that can be used instead. The pmap_page_set_memattr() returns
NULL pages for paddr in the resource range, so the function
pmap_ketner() is used, which makes it possible to set memattr for the
given memory range.
Submitted by: Michal Krawczyk <mk@semihalf.com>
Obtained from: Semihalf
Sponsored by: Amazon, Inc.