faa3fd222a
however due to the break-before-make requirement on arm64 is is currently unsafe to promote kernel pages. Sponsored by: DARPA, AFRL