Contributors to UEFI partition repair after Windows update for dual-boot