Am 09.08.2017 um 06:13 schrieb Gaël PORTAY:
> Dear maintainers,
> 
> I came accross this issue when I was trying to add support for a new MIPS
> board.

Just out of curiosity, what MIPS board are you working on? If it is not
a secret :)


-- 
Regards,
Oleksij