Xiaomi Notebook Air 12.5 is a good ultrabook, it has a good build quality and Linux support https://m.youtube.com/watch?v=9xqJK2Hlb3U
With this disclaimer: Please pay attention: both versions of Mi Notebook Air will be run on Windows 10 Home Chinese Edition
They are pretty reliable. But in my honest opinion, That kind of money should just be spent in the Dell Outlet. Get something like the Latitude 7270 / 7470 or the Latitude 7275 (Sort of a surface clone). At least warranties would be easier and you have Dell's support.