add command to force the regeneration of grub config file