Index: /trunk/src/VBox/Devices/PC/DevPcBios.h
===================================================================
--- /trunk/src/VBox/Devices/PC/DevPcBios.h	(revision 71061)
+++ /trunk/src/VBox/Devices/PC/DevPcBios.h	(revision 71062)
@@ -30,4 +30,10 @@
 #define VBOX_DMI_TABLE_SIZE         768
 
+/** def VBOX_DMI_TABLE_SIZE
+ *
+ * The size should be at least 16-byte aligned for a proper alignment of
+ * the MPS table.
+ */
+#define VBOX_DMI_HDR_SIZE           32
 
 /** @def VBOX_LANBOOT_SEG