Ubuntu 20.04 LTS: ridurre il load time di GRUB per velocizzare il boot del sistema operazioni basato su Linux
