Comment 171 for bug 1093217

The patched dsdt is actually not guaranteed to work. I've had instances
where it didn't. That patch attempts to fix what's seems to be a race
condition by adding a delay to the relevant function. But with all timing
workarounds, it won't always work. The kernel patch will always work,
because battery support simply isn't available until late in the boot
process, where it can't do any harm.