For those interested in running Linux on an HP Envy 15, you will be glad to know that Alex Chiang has submitted a patch to the Linux kernel which will fix some of the ACPI issues for the HP Envy 15:
It was also boot tested on an HP Envy 15 (x86) and an HP rx6600
(ia64). It resolved the namespace failures on the Envy 15 and did
not cause any regressions on the rx6600.