12195 acpidump failed under EFI

*** 22,31 ****
--- 22,34 ----
  /*
   * 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,190 ****
                  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 "
                                      "physaddr 0x%" PRIx64
                                      " (end=0x%" PRIx64 ")\n",
                                      (ulong_t)shdr->sh_size,
                                      next_addr,
                                      next_addr + shdr->sh_size);
--- 183,193 ----
                  shdr = (Elf64_Shdr *)(sechdrs + eh->e_shentsize * i);
  
                  /* zero out bss */
                  if (shdr->sh_type == SHT_NOBITS) {
                          if (prom_debug)
!                                 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);