I have not ... I have Kali dual booted on a PC, and was thinking about switching the OS. This question was the only thing keeping me from doing just that. I think I will give it a try. Im the same as you , they are both Debian I would think it should be the same.