52d23fe
arm64: Use proper memory type for kernel allocation Resolves: #2149020 Signed-off-by: Nicolas Frayer <nfrayer@redhat.com>