Oh, I see. Well, it’s not working in the Devkit even after repairing it. I will now try to use the ADK Launcher in the meanwhile. Thanks for letting us know.
EDIT: ADK Launcher still works as a charm! Will be using it till the Devkit update gets out of the oven ; P Thanks TheGuyNex!