Make it easy for users to identity whether they get GRUB or SYSLINUX

Originally created by @sajolida on #17538 (Redmine)

Naming them would make it easier for people to understand they have one or the other.

I will have to name them in the doc anyway since both will require different procedures to edit the boot options.

GRUB is named already on the screen.

SYSLINUX is not.

Feature Branch: feature/17538-name-syslinux

Edited May 15, 2020 by sajolida

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information