Can we see (and test with) a copy of your configuration files?
and possibly a copy of the pins_xxx.h file you use with your board?
Edit: Ah, I see that you mentioned a patch, while I were preparing for this question.
and possibly a copy of the pins_xxx.h file you use with your board?
Edit: Ah, I see that you mentioned a patch, while I were preparing for this question.