ACPI on my Dell laptop: battery module crashing

[MerlinTheWizard]

ACPI is enabled on my kernel and works pretty fine so far.

I can modprobe all the ACPI modules (ac, fan, thermal, button), and they work properly (my fan can't be controlled via ACPI, but I can see that in /proc/acpi/fan).

Problem: a 'modprobe battery' crashes with a 'segmentation fault'.
A subsequent 'lsmod' shows that the 'battery' module is in state "(initializing)". The function where it crashes, I think, is acpi_bus_register_driver(); I've looked at the source code (battery.c), and since the /proc/acpi/battery is still there once the module crashes, that's likely crashing in the call