[coreboot-gerrit] Change in coreboot[master]: ec/ene_kb3940q: correct ACPI battery data fed into ToString()