strongly ordered comment on device memory in mmu.c

[John Linn]

Hi,

We see that the following comment appears to be wrong in that the
memory is device memory rather than strongly ordered memory.

        [MT_DEVICE] = {           /* Strongly ordered / ARMv6 shared device */

If it's really just a bad comment we'll do a patch, but I was
wondering if there's more to it such that the comment is correct?

Thanks