ARM: LPAE: Add the Kconfig entries