How likely is it that this device would be able to run Linux?