DSA-3143 virtualbox – security update

Two vulnerabilities have been discovered in VirtualBox, a x86
virtualisation solution, which might result in denial of service.