[PATCH v3 11/13] vbox: turn vboxDumpDisplay() to void