Our PC platform is equipped with an Intel HD graphics 5000 controller (Haswell, PCI ID 8086:0a26).
The latest available version of 'devg-intelhd' is rel4742 from 2014-05-19, which does not support this controller, but 
has it already in it's list (/etc/system/enum/devices/graphics.ihd).
Is there a newer version of the driver available, which supports this controller?