I doubt it would change anything but it is worth a try.
You could try a more recent kernel taken from Jason Self's repository:
http://jxself.org/linux-libre/
- [Trisquel-users] Problem with the output to the external Monitor janprunk
- Re: [Trisquel-users] Problem with the output to the external... lcerf
- Re: [Trisquel-users] Problem with the output to the external... janprunk
- Re: [Trisquel-users] Problem with the output to the external... janprunk
- Re: [Trisquel-users] Problem with the output to the external... janprunk
- Re: [Trisquel-users] Problem with the output to the external... janprunk
- [Trisquel-users] Re : Problem with the output to the externa... lcerf
