Increase size of random seed in the kernel command-line
On #11897, we noticed that the screen isn’t updated correctly in the syslinux menu if the kernel command line is too long. To avoid this, we agreed to reduce the length of the random seed to 32 characters (in hex, so it encodes 16 bytes).
We can probably increase the length once we migrated to GRUB (and store the seed in a variable).
Related issues
Original created by @segfault on 16980 (Redmine)