x86 platform drivers: hp-wmi fix buffer size depending on ACPI version