Thanks. For a minute, that sounded really promising! But, alas, that pin is set up correctly.
Related question: If I screwed up the MMU settings and accidentally left this area as "Read-Only", would a write operation cause a fault? Or would it be a NOP? (I think my TTB is correct, but I'm not 100%).