Correct me if i'm wrong, but i don't think this issue has anything to do with ESP8266 Arduino core itself, because it doesn't come into play until you actually upload anything to the ESP.
![Available Available](http://i1-win.softpedia-static.com/screenshots/Virtual-Serial-Port-Control_1.png)
JB4 Mobile is a mobile data logger and display for use with the JB4 piggyback tuner from Burger Motorsports.