A new guide has been published: How to scale GRUB menu on 4K displays
Dedoimedo published a tutorial about how to scale the GRUB menu on 4K displays.
Read more @ Linux Compatible
