Adapt EGLImageKHR <-> uint32_t casts to work on 64 bits environments