Hi Manuel,
Yes, it is still missing. Along with a bunch of other industrial extensions we had in RTAndroid. We are very interested in bringing them back eventually, but the overall system stability is of a higher importance right now.
However, adding support for /dev/gpiomem isn't a big deal. We will add this to the next release.