From f65d8173429c70c74eeabe1fd317cb911b576586 Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 13 Apr 2017 15:12:49 +0100
Subject: [PATCH] linux: Install ARM headers for armv7hl

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---
 lfs/linux | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lfs/linux b/lfs/linux
index ec005550f..8ced5dda1 100644
--- a/lfs/linux
+++ b/lfs/linux
@@ -56,6 +56,10 @@ else
 	HEADERS_PREFIX = /usr
 endif
 
+ifeq "$(MACHINE)" "armv7hl"
+	HEADERS_ARCH=arm
+endif
+
 ifeq "$(MACHINE)" "armv5tel"
 	HEADERS_ARCH=arm
 endif