dual boot - windows update required a bios update and grub refused to work from there, if fixing is more troublesome than reinstalling please tell me that first
