Boards.txt and USBCore.cpp in Arduino IDE