Fix Ubuntu/Linux Mint boot and grub issues with Boot-Repair