Bjorn's method doesn't work with (my) Inspiron 5100... however: Dell solved the problem! It was a bios problem. First they send me a beta update

With the new update (a30 or so) the ACPI problems are solved.