[PATCH] Write the grub config even on errors (#1114774)