fix VirtioReporter (virtio serial), problem with the synchronization with libfpm