boards.txt and other hardware definitions for various miscellaneous devices for Arduino