LE10 Intel NUC: suddenly does not detect HDMI audio devices anymore (sometimes it works)