Update: I just reflashed stock firmware, then xiaomi.eu stable 14.0.17.0, and now it's working again! Before that I was going from stock -> xiaomi.eu stable -> dev, which would then somehow make the boost not work correctly, even after flashing xiaomi.eu stable afterwards, with data wipe. Not...