Subject: bug#26339: [PATCH 05/18] system: Rename operating-system-grub.cfg to operating-system-bootcfg.

From: Danny Milosavljevic <[email-masked]>
Date: Sat, 15 Apr 2017 14:44:57 +0200

Commited a variant of this patch as c76b3046f651e8f46db1a093fdfc78cdc0bc3a13.

Changes are:
- Also adapt gnu/system/vm.scm and guix/scripts/system.scm to use operating-system-bootcfg (in order to make this patch apply independently).