[TUHS] 32V memory management: not quite V7 style swapping