Fanless Mini PC, 4GB, 64GB dual-4k, Linux