Resposta: NÃO! Eles não são os mesmos. Eu assumi o contrário e enfrentei muitos problemas ao configurar o módulo virtualbox-dkms. Para resolver todos esses problemas, atualizei meu kernel para o 3.16.0-4-amd64 para o qual havia cabeçalhos Linux apropriados.