Changes

  VA FFFF0000..FFFF1000 -> PA 1FFF4000..1FFF5000 [SYS:RO USR:-- X  TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA FFFF0000..FFFF1000 -> PA 1FFF4000..1FFF5000 [SYS:RO USR:-- X  TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA FFFF2000..FFFF6000 -> PA 1FFF8000..1FFFC000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA FFFF2000..FFFF6000 -> PA 1FFF8000..1FFFC000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA FFFF7000..FFFF8000 -> PA 1FFF0000..1FFF1000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA0 FFFF7000..FFFF8000 -> PA 1FFF0000..1FFF1000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

VA1 FFFF7000..FFFF8000 -> PA 1FFF1000..1FFF2000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA0 FFFF9000..FFFFA000 -> PA 1FFF2000..1FFF3000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA0 FFFF9000..FFFFA000 -> PA 1FFF2000..1FFF3000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA1 FFFF9000..FFFFA000 -> PA 1FFF3000..1FFF4000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA1 FFFF9000..FFFFA000 -> PA 1FFF3000..1FFF4000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA FFFFB000..FFFFE000 -> PA 1FFF5000..1FFF8000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]

  VA FFFFB000..FFFFE000 -> PA 1FFF5000..1FFF8000 [SYS:RW USR:-- XN TYP:NORMAL SHARED OUTER NOCACHE, INNER CACHED WB WA]