Пароль загрузчика - существующий контент, найденный в /etc/grub.d/01_users

Мне нужно установить пароль загрузчика, и я опасаюсь изменить существующую конфигурацию (за предупреждение о потенциальной невозможности загрузки системы).

В документации RH сказано добавить следующие строки :

cat <<EOF
set superusers="john"
password john johnspassword
EOF

Текущий файл /etc/grub.d/01_users уже имеет это вверху:

#!/bin/sh -e
cat << EOF
if [ -f \${prefix}/user.cfg ]; then
  source \${prefix}/user.cfg
  if [ -n "\${GRUB2_PASSWORD}" ]; then
    set superusers="root"
    export superusers
    password_pbkdf2 root \${GRUB2_PASSWORD}
  fi
fi
EOF

Должен ли я добавить первую часть под существующим EOF, полностью заменить существующий контент или что-то еще?