Fix small compilation issues

* Add missing “assert.h” file header inclusion
* Do not define ARRAY_SIZE if it is already defined
* “mpconfigport.h” is a library header, not a system header
It is easy to patch yourself, when needed.  Until a much better solution for sharing files between ports comes along, we need to keep this as-is.