Smartisan spendet 250.000 Euro an OpenBSD