[PATCH 3/6] UBUNTU: Enforce DEFAULT_MMAP_MIN_ADDR on armhf

[Loïc Minier]

Also enforce CONFIG_DEFAULT_MMAP_MIN_ADDR=32768 on armhf.

Signed-off-by: Loïc Minier <loic.minier at linaro.org>
---
 debian.master/config/enforce |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian.master/config/enforce b/debian.master/config/enforce
index bd98fd9..88822e6 100644
--- a/debian.master/config/enforce
+++ b/debian.master/config/enforce
@@ -21,8 +21,8 @@ value CONFIG_DEFAULT_SECURITY_APPARMOR y
 !exists CONFIG_STRICT_DEVMEM | value CONFIG_STRICT_DEVMEM y
 # For architectures which support this option ensure it is disabled.
 !exists CONFIG_COMPAT_VDSO | value CONFIG_COMPAT_VDSO n
-# Default to 32768 for armel, 65536 for everything else.
-( arch armel & value CONFIG_DEFAULT_MMAP_MIN_ADDR 32768 ) | \
+# Default to 32768 on ARM, 65536 for everything else.
+( ( arch armel | arch armhf ) & value CONFIG_DEFAULT_MMAP_MIN_ADDR 32768 ) | \
 	( value CONFIG_DEFAULT_MMAP_MIN_ADDR 65536)
 
 # CONFIG_USB_DEVICE_FS breaks udev USB firmware loading and is deprecated
-- 
1.7.4.1