You are right,

it worked for me, because I have a separate /boot partition. After
changing the uuid of /boot, the machine does not boot.

But IMO it's a problem of grub, using this sort of code in grub.cfg:

if [ x$feature_platform_search_hint = xy ]; then
  search --no-floppy --fs-uuid --set=root  31147a1b-b3d3-1234-93ee-93854ac2505d
else
  search --no-floppy --fs-uuid --set=root 31147a1b-b3d3-1234-93ee-93854ac2505d
fi

If if would not use uuids here, it may work.
-- 
regards Thomas

Reply via email to