[[!comment format=mdwn username="joey" subject="""comment 6""" date="2017-12-20T21:33:31Z" content=""" update-grub generates the grub config file, so AFAIK it needs to come before grub-install. If you can do the patches for BIOS please do. """]]