Subject: bug#26339: [PATCH 10/18] system: Rename kernel->grub-label to kernel->boot-label.

From: Danny Milosavljevic <[email-masked]>
Date: Sat, 15 Apr 2017 12:40:38 +0200

Pushed this patch to master as c2e9942b8fc8918c3e1d9612f99bea06be9ff81d.