Comment exécuter Android dans Virtualbox sur Linux ?

Pendant des jours, j'essaie de faire fonctionner Android 5 ou supérieur à l'intérieur de Virtualbox sur Linux (ici : Mint 18.1), sans succès. Au mieux, j'arrive au menu de démarrage (Grub), le système passe en mode graphique, et je vois le "Android" qui pulse : Après quelques secondes, l'accès au disque cesse, et la machine virtuelle se bloque avec une charge CPU de 100%.

J'ai cherché partout sur le web, et j'ai essayé toutes les astuces que j'ai pu trouver : augmenter la RAM à 2G, la mémoire vidéo à 128M, le nombre de CPU à 2. Passer la machine virtuelle de "Linux (autre)" à "BSD", essayer des images 64 bits et 32 bits (les images 64 bits restent même bloquées sur un écran noir avant les lettres "Android" qui pulsent), les deux dans des machines virtuelles 64 bits et 32 bits, du projet Android-x86 à RemixOS en passant par Phoenix, Android 5.1 à 7 - rien n'y fait.

Où est le truc ?

S'il vous plaît, ne me renvoyez pas vers ces nombreux guides basés sur Virtualbox tournant sur Windows. J'en ai suivi un tas sans succès. Je ne veux pas non plus utiliser QEMU pour ça (trop de dépendances que je ne veux pas installer), ou Genymotion etc (où je devrais m'inscrire). Je suis intéressé par l'aide de ceux qui l'ont fait fonctionner correctement dans Virtualbox sur Linux.

J'ai également vu des questions similaires ici et j'ai suivi les conseils de leurs réponses :

• Android x86 Marshmallow ne démarre pas sur Virtualbox et VMware Workstation
  ajouter vga=834 nomodeset xforcevesa aux options du noyau a simplement causé le blocage encore plus tôt. Les autres conseils j'avais déjà suivi. Le .vdi pris sur OSBoxes avait les mêmes problèmes.
• les autres questions ne sont pas pour Virtualbox, ou concernent des versions antérieures à Lollipop. Comme le montre la question liée ci-dessus, le problème semble également se présenter avec VMWare.

Comment avez-vous réussi à le faire fonctionner ?

Note intermédiaire : Je pourrais bientôt répondre moi-même, mais j'ai d'abord besoin de vérifier et, si possible, d'améliorer : Entre-temps, j'ai réussi à démarrer complètement une ISO avec RemixOS, en utilisant "FreeBSD 64 bits" pour cette image 32 bits. Le démarrage a simplement pris une ÉTERNITÉ (environ 15 minutes avant que le texte pulsant "RemixOS" ne soit remplacé par l'écran de bienvenue). Il se pourrait que ce soit seulement au premier démarrage, et après l'avoir installé sur "disque" et l'avoir fait fonctionner une fois, le démarrage suivant soit plus rapide. Dès que j'aurai du temps, je creuserai plus profondément - et ensuite je supprimerai ce paragraphe et posterai une réponse à la place.