[coreboot-gerrit] Change in coreboot[master]: ec/system76/ec: Clean up/document battery ACPI