Este é um bug conhecido enviado ao VirtualBox. A razão para o erro é que uma linha definindo o controlador OHCI é duplicada, daí a mensagem de erro "o mesmo nome existe". Existe uma solução alternativa mencionada na página.
You can work around this bug by extracting the ova file, removing the duplicate OHCI line, and re-creating the ova file using tar. It's not possible to remove the extra OHCI using the GUI.