Пароль загрузчика - существующее содержимое находится в /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, полностью заменить существующий контент или что-то еще?