Bug#827650: system crashes using HDMI

[Karsten Malcher]

I agree that the real problem have to be searched not in this library.
Maybe there is a problem in the driver.

The crashing of the system maybe a defect of the hardware of the vga card.
After i changed the card the system is running stable.

Thanks.