Libreboot Dell OptiPlex 3050 Micro Core i5-7500T 8GB RAM 120GB SSD