[PATCH] IPMI: fix for handling bad ACPI data