From 896d821e54e5ef51ec2e50007300a31cb9cce96c Mon Sep 17 00:00:00 2001
From: Andrew Turner <andrew@FreeBSD.org>
Date: Mon, 27 Nov 2017 16:19:00 +0000
Subject: [PATCH] Set the kernel file name so the kern.bootfile sysctl is set.
 This allows for the creation of kernel.old when running installkernel.

MFC after:	1 week
Sponsored by:	DARPA, AFRL
---
 sys/arm64/arm64/machdep.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/sys/arm64/arm64/machdep.c b/sys/arm64/arm64/machdep.c
index b1d489c866e..99938499eaa 100644
--- a/sys/arm64/arm64/machdep.c
+++ b/sys/arm64/arm64/machdep.c
@@ -1017,6 +1017,7 @@ initarm(struct arm64_bootparams *abp)
 {
 	struct efi_map_header *efihdr;
 	struct pcpu *pcpup;
+	char *env;
 #ifdef FDT
 	struct mem_region mem_regions[FDT_MEM_REGIONS];
 	int mem_regions_sz;
@@ -1117,6 +1118,10 @@ initarm(struct arm64_bootparams *abp)
 	kdb_init();
 	pan_enable();
 
+	env = kern_getenv("kernelname");
+	if (env != NULL)
+		strlcpy(kernelname, env, sizeof(kernelname));
+
 	early_boot = 0;
 }