The DKMS driver does not flash anything.
The repo you referred to is the firmware itself, this is not needed (yet). You want this kernel driver:
This will give you access to the battery charger start/end thresholds which, I guess, are set wrong on your machine.
Cheers
nicole