Index: /trunk/src/VBox/Devices/Graphics/DevVGA.h
===================================================================
--- /trunk/src/VBox/Devices/Graphics/DevVGA.h	(revision 64960)
+++ /trunk/src/VBox/Devices/Graphics/DevVGA.h	(revision 64961)
@@ -585,5 +585,5 @@
     /** Clear screen flag. */
     uint8_t                     fLogoClearScreen;
-    uint8_t                     fBootMenuInverse;
+    bool                        fBootMenuInverse;
     uint8_t                     Padding8[6];
     /** Palette data. */