Conflict while using "m4-reserved-pin" marked pins

[jgeslin]

Hi,

Commit 42ce6e4 from @giuseppe-pagano is preventing my NFC application (https://github.com/NXPNFCLinux/linux_libnfc-nci) to run.
Indeed, I'm using pins gpio4-9 and gpio5-21 (because the NFC shield is connected via Arduino header) which are mark reserved for M4 in this commit. It ends-up in a freeze of the complete system (requiring hard reset of the UDOO neo board) as soon as the gpio4-9 pin (configured as input) became high.

Do you have any idea while the freeze is appearing ? Any solution to it ?

Regards,
Jeremy.