[VirtualBox] Update VBox to 5.2.12 Previous bug shows that we don't need VBOX_PATH_DOCBOOK anymore.