Platform profile driver fixes
Here are 2 fixes for the platform-profile driver, which are the result of testing it on hardware + a kernel which supports the new /sys/firmware/acpi/platform_profile userspace API.
I've also updated the test-cases to behave in the same way as the real hw/API does.