Acabei de ter problemas com o VirtualBox no meu 2016 "MBP 2016 quando o sistema inteiro estava muito lento e lento. Eu usei as mesmas configurações que você. Eu resolvi o problema usando o Parallels Desktop Lite da App Store em vez do VirtualBox. é de graça quando você só vai usar o Linux e corre muito bem. Espero que ajude