I have not. I wouldn’t know where to start. I wish loading a different OS was as easy as x86 PCs.