12195 acpidump failed under EFI

@@ -22,10 +22,13 @@
 /*
  * Copyright 2008 Sun Microsystems, Inc.  All rights reserved.
  * Use is subject to license terms.
  */
 
+/*
+ * Copyright 2020 Joyent, Inc.
+ */
 
 #include <sys/types.h>
 #include <sys/inttypes.h>
 #include <sys/systm.h>
 #include <sys/elf.h>

@@ -180,11 +183,11 @@
                 shdr = (Elf64_Shdr *)(sechdrs + eh->e_shentsize * i);
 
                 /* zero out bss */
                 if (shdr->sh_type == SHT_NOBITS) {
                         if (prom_debug)
-                                dboot_printf("zeroing BSS %lu bytes from "
+                                dboot_printf("zeroing BSS %ld bytes from "
                                     "physaddr 0x%" PRIx64
                                     " (end=0x%" PRIx64 ")\n",
                                     (ulong_t)shdr->sh_size,
                                     next_addr,
                                     next_addr + shdr->sh_size);