x86/mm/pkeys: Add Kconfig prompt to existing config option