Comment # 1 on bug 907457 from Steffen Winterfeldt

You 'forgot' to mention that you also changed your disks in between.

But it's not clear why the 2nd disk doesn't show up in device.map.

Anyway, the file is created by grub2 but not strictly necessary, afaik. So we
might just make this message a warning.

Michael, what do you think? Can we ignore this?