After modifying GNU GRUB’s configuration file, which command must be run for the changes to take effect?