Afinal o problema era mesmo do VirtualBox. O VirtualBox antes da versão 6.1.0 era incompatível com o kernel 5.4 do Linux. [1]
Esse problema foi corrigido na versão 6.1.0 do VirtualBox, que só saiu já depois do problema que detetei e reportei no artigo anterior.