Remove unused helpers from mmu.h (XCC)