The source project of this merge request has been removed.
Add U_BOOT_MENU_LABEL customization for derivative
U_BOOT_MENU_LABEL was still hardcoded to just be "Debian GNU/Linux kernel" however the default file offers it as an option to customize, so lets make it customizable.