The /boot/grub2/grub.cfg and /etc/default/grub are both snapshotted so no discrepancy in this regard.