system: Adjust 'grub.cfg' to work on systems with a separate /boot.