py: Allow to override port config file and thus have >1 configs per port.

Use it like:

make CFLAGS_EXTRA='-DMP_CONFIGFILE="<mpconfigport_my.h>"'