Index: head/stand/efi/loader/arch/arm/exec.c
===================================================================
--- head/stand/efi/loader/arch/arm/exec.c
+++ head/stand/efi/loader/arch/arm/exec.c
@@ -77,7 +77,7 @@
 
 	entry = efi_translate(e->e_entry);
 
-	printf("Kernel entry at 0x%x...\n", (unsigned)entry);
+	printf("Kernel entry at %p...\n", entry);
 	printf("Kernel args: %s\n", fp->f_args);
 
 	if ((error = bi_load(fp->f_args, &modulep, &kernend)) != 0) {
Index: head/stand/efi/loader/arch/riscv/exec.c
===================================================================
--- head/stand/efi/loader/arch/riscv/exec.c
+++ head/stand/efi/loader/arch/riscv/exec.c
@@ -63,7 +63,7 @@
 
 	entry = efi_translate(e->e_entry);
 
-	printf("Kernel entry at 0x%x...\n", (unsigned)entry);
+	printf("Kernel entry at %p...\n", entry);
 	printf("Kernel args: %s\n", fp->f_args);
 
 	if ((error = bi_load(fp->f_args, &modulep, &kernend)) != 0) {