He tenido un problema con el sonido desde que instalé Ubuntu. Al arrancar, puedo seleccionar el sonido HDMI y funciona, cuando el monitor duerme, suceden dos cosas. O el sonido vuelve a otra fuente y tengo que volver a cambiarlo en la configuración, lo cual es molesto pero no irrecuperable, o el...