[PATCH 2/2] rv: Make rtapp/pagefault monitor depends on CONFIG_MMU