a simple patch to make update-grub in ubuntu use partition labels instead of UUID