https://www.oprekubuntu.tech/2021/03/cara-merubah-nama-grub-di-linux-ubuntu.html