Microblaze portDISABLE_INTERRUPTS()

Hello, Just a little note to the Microblaze port: In portmacro.h, #define portENTER_CRITICAL(): Shouldn’t it be portDISABLE_INTERRUPTS() instead of microblaze_disable_interrupts() there? Because portEXIT_CRITICAL() is using portENABLE_INTERRUPTS(). Not really important, but…