Bon bah on va pouvoir oublier l'idée de booter depuis le port PCMCIA

Les pistes à encore explorer:
- cloner le disque original sur un plus gros
- la machine virtuelle mais je n'ai jamais fait ça