Eu não sei de onde você tira essa ideia, mas as adições dos convidados, desde a versão 4.0.0, são liberadas sob a licença GPL2.
Você pode verificar no código-fonte se ainda estiver em dúvida. Veja este arquivo para um exemplo. Sinta-se à vontade para conferir os outros.
Portanto, não se preocupe em redistribuí-los com o restante do VirtualBox.
Outra questão completamente diferente é o Extension Pack, que contém coisas como suporte a usb2. Este não é um software de código aberto e não pode ser distribuído.