After modifying GRUB’s configuration file, what command should you run for the changes to take effect?