panda: fix edit /etc/grub/default