asus_atk0110 not working on Asus P7P55D PRO

[Robert Hancock]

Just built a new system with an Asus P7P55D PRO motherboard. The ATK0110 
driver doesn't seem to be able to retrieve any hardware monitoring 
parameters successfully, sensors gives:

atk0110-acpi-0
Adapter: ACPI interface
ERROR: Can't get value of subfeature in0_input: I/O error
Vcore Voltage:      +0.00 V  (min =  +0.80 V, max =  +1.60 V)
ERROR: Can't get value of subfeature in1_input: I/O error
+3.3V Voltage:      +0.00 V  (min =  +2.97 V, max =  +3.63 V)
ERROR: Can't get value of subfeature in2_input: I/O error
+5V Voltage:        +0.00 V  (min =  +4.50 V, max =  +5.50 V)

etc. and dmesg spits out a bunch of these:

ATK0110 ATK0110:00: atk_read_value_new: ACPI exception: AE_BUFFER_OVERFLOW

I'm guessing this board uses a different format than what the driver is 
expecting. I'm attaching the gzipped decompiled DSDT from the board, 
hopefully it's useful to somebody..

Attachment: p7p55dpro.asl.gz
Description: GNU Zip compressed data