A couple board types reported ESP8266_GENERIC instead of their proper types in boards.txt (and in defined generated therefrom/etc.). Give them proper board types based on their names, like other modules.