The boot-repair tool renamed the Linux Mint boot option in the Grub menu to Ubuntu, but that's not a big deal and can be changed later. The broadcom wireless drivers were still missing as they were in ...