Il faudrait sérieusement qu'on est maintenant un outil de migration de symboles entre boot, OS et versions de chacun.