Arduino Leonardo R3 does not show up as a HID device on Win7 x64

I had a problem with my Iteadstudio Leonardo, but now I have an official Arduino Leonardo R3 and experience the same problem with installation on Windows 7 x64.

The hardware IDs are:


I need to use these instructions to have the Leonardos recognised and have the serial port working.

The problem is that the Leonardo still does not work as a HID device, eg. the following code does not work:

void setup() {

void loop() {

Is there any advice on what should I to diagnose the problem?