Fix compile of mm/mmu.c

Change-Id: I4b7c17f1dd26bca429d647772c4fe7dccd44537d