gma500: the MMU code is also generic