I've got an ASUS UX51VZ-DH71, and it has a built-in HD4000 and NVidia Geforce GT650M. After using acpi_call to turn on the card, I'm able to start X on the NVidia card and output through the HDMI port. However, I can't make audio output to work.
There is only one Intel HDA device on the PCI...