[babuskov]

I cannot find the link now, but it was mentioned that it was ASRock mobos.

[crishoj]

Thanks. This comment above does mention ASRock: https://news.ycombinator.com/item?id=43112594

On the other hand, dmidecode output in the article shows:

Manufacturer: Dell Inc. Product Name: 0H3K7P