Recently I've found an old USB stick, with some information dating from 2003. One of the things I found is an AML on how to get ACPI to show the battery status properly. Here it is, in case it helps someone: /* * Intel ACPI Component Architecture * AML Disassembler version