That… really makes more sense than any other explanation, especially the idea of them writing both a custom BIOS and developing an optimized version of Linux.
Guess you can’t really expect more for the piddling 8000 Euros. 
1 Like