Add NOMMU choice to Kconfig, thus we can use the UCONFIG_NOMMU macro for mmu-less project developing.