micropython/micropython — pull request #706 by eblot (2014-06-19 15:08:50+00:00)
Title: Fix small compilation issues

* Add missing “” file header inclusion
* Do not define ARRAY_SIZE if it is already defined
* “mpconfigport.h” is a library header, not a system header