Index: /trunk/src/VBox/Devices/EFI/FlashCore.cpp
===================================================================
--- /trunk/src/VBox/Devices/EFI/FlashCore.cpp	(revision 81265)
+++ /trunk/src/VBox/Devices/EFI/FlashCore.cpp	(revision 81266)
@@ -188,5 +188,5 @@
     *pbData = bValue;
 
-    LogFlow(("flashMemReadByte: read access at %08RX: %02X (cmd=%02X) rc=%Rrc\n", off, bValue, pThis->bCmd, rc));
+    LogFlow(("flashMemReadByte: read access at %08RX32: %02X (cmd=%02X) rc=%Rrc\n", off, bValue, pThis->bCmd, rc));
     return rc;
 }