Index: /trunk/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenFw/Elf64Convert.c
===================================================================
--- /trunk/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenFw/Elf64Convert.c	(revision 85879)
+++ /trunk/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenFw/Elf64Convert.c	(revision 85880)
@@ -692,5 +692,9 @@
           mCoffOffset = (UINT32) ((mCoffOffset + shdr->sh_addralign - 1) & ~(shdr->sh_addralign - 1));
         } else {
+#ifdef VBOX
+          Error (NULL, 0, 3000, "Invalid", "Section address not aligned to its own alignment. sec#%i addr=%#llx align=%#llx", i, shdr->sh_addr, shdr->sh_addralign);
+#else
           Error (NULL, 0, 3000, "Invalid", "Section address not aligned to its own alignment.");
+#endif
         }
       }
@@ -743,5 +747,9 @@
           mCoffOffset = (UINT32) ((mCoffOffset + shdr->sh_addralign - 1) & ~(shdr->sh_addralign - 1));
         } else {
+#ifdef VBOX
+          Error (NULL, 0, 3000, "Invalid", "Section address not aligned to its own alignment. sec#%i addr=%#llx align=%#llx", i, shdr->sh_addr, shdr->sh_addralign);
+#else
           Error (NULL, 0, 3000, "Invalid", "Section address not aligned to its own alignment.");
+#endif
         }
       }
@@ -795,5 +803,9 @@
           mCoffOffset = (UINT32) ((mCoffOffset + shdr->sh_addralign - 1) & ~(shdr->sh_addralign - 1));
         } else {
+#ifdef VBOX
+          Error (NULL, 0, 3000, "Invalid", "Section address not aligned to its own alignment. sec#%i addr=%#llx align=%#llx", i, shdr->sh_addr, shdr->sh_addralign);
+#else
           Error (NULL, 0, 3000, "Invalid", "Section address not aligned to its own alignment.");
+#endif
         }
       }