Arduino core doesn't appear to be working

[wx4cb]

@tcbetka see this thread here for more information: Serial Port device names