ARM: add help text for HIGHPTE configuration entry
authorRussell King <rmk+kernel@arm.linux.org.uk>
Thu, 25 Jun 2015 09:49:45 +0000 (10:49 +0100)
committerRussell King <rmk+kernel@arm.linux.org.uk>
Mon, 29 Jun 2015 13:33:14 +0000 (14:33 +0100)
commitb4d103d1a45fed0da2f31c905eb5e053c84a41c6
treeb833202fc9d4656b0bd1762e2abc73ec2e9fbeee
parente6ae32c343981a50aa07c34767f2a967cc920edc
ARM: add help text for HIGHPTE configuration entry

Add some help text for the HIGHPTE configuration entry.  This comes from
the x86 entry, but reworded to be more a more accurate description of
what this option does.

Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>
arch/arm/Kconfig