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

Use it like:

make CFLAGS_EXTRA="-DMPCONFIG_FILE=mpconfigport_my.h"
IIRC, we had issues when using "", as opposed to <>.