Huh, you learn something new everyday. I had no idea BMW switched to green coolant.
Anyways, I found this on Tischer’s product page for the green stuff. If you can make out the German symbology, have at it. It looks like if you got “G48” and mixed it with the “HT12”, that’s ok. No clue if G48 is like a standard (e.g. LL01 for oil), or if it’s a BMW-specific term/number.
A small, but not insignificant, boost has come from decreasing parasitic draw. EPS and EWP means not running pumps off the drive belt, and intelligent charging means alternators can declutch. It might only be 20-50hp, but it adds up.
Now whether that changes the “marketing” horsepower of a car, or just the “butt dyno” and whp ratings, I’m not sure.