@henryk @SwiftOnSecurity
I just had to do something similar on my HP Elitebook to get it to charge the battery via USBC again.