Reload tree in augsave\!, simplify default flush
Simplify flush for kernel_parameter's grub2 provider