3 posts were split to a new topic: Having updated, GRUB menu now appears at boot with a five second timer