Arduino 1.6.4 not showing any /tty/ options in Serial ports
I had the same problem when updated to 1.6.4, but with a Spark fun Pro micro. 
Did a "reset to bootloader" on the pro micro, and hit upload, and it worked
 out nice and it still does!