This allows selecting CONFIG_MMU_NOTIFIER if it isn't already selected.
Signed-off-by: NChristian König <christian.koenig@amd.com>
Signed-off-by: NAlex Deucher <alexander.deucher@amd.com>