branding: Add a dedicated bootloaderEntryName setting.

Use it in the bootloader and grubcfg modules instead of
shortProductName.