¿Cómo formatear un SSD desde la BIOS?