micropython/ports/esp8266/boards/GENERIC_512K/mpconfigboard.mk