@pobrn I have tried the solution provided here and this makes the HDMI now function. But this drains a large amount of battery as all processes run on the dedicated GPU (Nvidia). This uses up about 1GB out of 4GB available on my GPU.
Do you know how to make the Nvidia card work only for showing the display rather than for all applications?