Dear Michael,
Am Samstag, den 23.05.2015, 04:28 +0200 schrieb Michael Gerlach:
Uhm - I do not explicitly compressed it. I just added it to config..
Extracted it via
echo 1 > /sys/devices/pci0000:00/0000:00:02.0/rom cp /sys/devices/pci0000:00/0000:00:02.0/rom vgabios.bin
How to check if it's compressed?
The *file` command should help you.
For my AMD Video BIOS from the ASRock E350M1 I get the following.
$ file vgabios.bin vgabios.rom: BIOS (ia32) ROM Ext. IBM comp. Video (113*512)
If the method you used, did not work, please report a bug to the Intel graphics folks [1].
Thanks,
Paul
[1] https://01.org/linuxgraphics/documentation/how-report-bugs