Hi Simon,
Thanks for posting to our site. We took your reproduction information (a big thanx for that!) and were able to reproduce your issue. There seems to definately be a bug somewhere - we are actively investigating it.
While I don't have an ETA on a fix, or even know if it is a problem in the kernel, the tool or the Intel driver, I will keep you aprised as I get updates.
thanx,
Patrick