Thanks! Then the question is: Why do we need it for gfxboot and installatino-image? For the later I can understand it is a left-over, but for gfxboot... Steffen?