Exactly. If you compare the two images, the one with HDR and the one without HDR, the normal mapping lighting is still clearly visible:
And the same rock in the DeathKnight screenshot, with the sun on the right, is darker on the opposite side, as expected from the normal mapping shader: