La serie de productos MintBox, esos mini-PCs gobernados por Linux Mint que se comercializan desde hace poco más de un par de años, tendrá un nuevo miembro este 2015: MintBox Mini, el pequeñín de la…