Sorry about the long delay, I was out for December.
I'm really not that familiar with the way the mbed driver works for the microbit. My understanding is that we just took a drop of their driver and integrated it into Kodu. We don't have the code for it.
When you installed the dirver, was it installed from an admin account?
Was there an option to "install for all users" as opposed to just the admin user?