Have a look here https://www.aliexpress.com/store/1454570 they seem to resell the Topstar U931, which is a popular barebone notebook, especially for linux.