GRUB_DEFAULT配置项失效问题求助

我在虚拟机里安装了Debian 12，不小心装上了xen-tools（其实虚拟机客户机系统根本不需要这个工具）。卸载xen-tools之后，GRUB菜单里仍然保留着Xen的启动项，而且它是第二个选项，还被设为了默认启动项。

我尝试修改/etc/default/grub里的GRUB_DEFAULT=0配置，之后执行update-grub命令，但重启后完全没有变化——默认启动项还是第二个Xen的选项！

我到底忽略了什么环节？

以下是grub-mkconfig的输出内容：

# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#

### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
  set have_grubenv=true
  load_env
fi
if [ "${next_entry}" ] ; then
   set default="${next_entry}"
   set next_entry=
   save_env next_entry
   set boot_once=true
else
   set default="Debian GNU/Linux, with Xen hypervisor"
fi

if [ x"${feature_menuentry_id}" = xy ]; then
  menuentry_...

备注：内容来源于stack exchange，提问作者Alexander Baltasar