One of the hassles with ARM machines is that you might technically be able to boot Linux on it but your Thunderbolt, display out, wireless, etc. will lack support and not work.