Can anyone please tell me all the distros compatible with Dell Mini 9 and if there is, the best one? Thanks in advance!