Hello, as per Gianfranco's request [0], I have opened a bug in the upstream VirtualBox bug tracker [1]
[0] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=%23902897#45 [1] https://www.virtualbox.org/ticket/17851 Best Regards, -- Jonás Andradas GPG Fingerprint: 678F 7BD0 83C3 28CE 9E8F 3F7F 4D87 9996 E0C6 9372 Keyservers: pgp.mit.edu | pgp.rediris.es