Subject: bug#26339: [PATCH 01/18] system: Pass <bootloader-parameter> to grub.

From: Danny Milosavljevic <[email-masked]>
Date: Sat, 15 Apr 2017 17:39:18 +0200

I've also applied the remainder of that patch in commit 2e58e05bb68d4b747882cfa2b460b132d456f54a to master now.

This introduces a structure <boot-parameters> that can be used to specify boot parameters in a grub-independent way. (gnu system grub) will then load the data from that into its own structure <menu-entry>.