MintBox Mini: Compact Linux Mint PC coming soon for $295