As per title, have you experienced any distro on this device? Currently torn between mint/Debian or just vanilla Debian