Add details of VirtualBox problem tickets