I just noticed /boot/grub/device.map, tried modifying it (exchange hd0 and hd1 mappings) and re-run update-grub. Now everything looks right and I expect later installation of new kernels will boot successfully too. Is this device.map the intended work-around for the problem? When and what program will regenerate it? -- Best Regards, yzhh