efiboot: moving efi_fdt_fini() before efi_cleanup()

[Christoph Badura <bad%bsd.de@localhost>]

I would like to propose the following change.  This allows to print the
size of the packed FDT that is passed to the kernel.  AFAICT there's
nothing in efi_cleanup that affects the FDT.

--chris

Index: exec.c
===================================================================
RCS file: /cvsroot/src/sys/stand/efiboot/exec.c,v
retrieving revision 1.11
diff -u -r1.11 exec.c
--- exec.c	24 Jul 2019 11:40:36 -0000	1.11
+++ exec.c	16 Oct 2019 21:11:03 -0000
@@ -337,12 +337,17 @@
 		efi_fdt_memory_map();
 	}
 
-	efi_cleanup();
-
 	if (efi_fdt_size() > 0) {
 		efi_fdt_fini();
 	}
 
+#ifdef EFIBOOT_DEBUG
+	printf("efi_fdt_data %p efi_fdt_size %d\n",
+	    efi_fdt_data(), efi_fdt_size());
+#endif
+
+	efi_cleanup();
+
 	efi_boot_kernel(marks);
 
 	/* This should not happen.. */