temporary patch to fix problem with different behavior of MicGPI on different HW