From: Peter Robinson <pbrobinson(a)redhat.com>
fedora: fixes for ARMv7 build issue by disabling HIGHPTE
In RHBZ 1576593 we had issues with ARMv7 builders pausing, it turned out to be a
silicon bug and we could work around it by disabling HIGHPTE. For some reason
that workaround was lost in the 5.7-rc1 merge.
Signed-off-by: Peter Robinson <pbrobinson(a)redhat.com>
diff a/redhat/configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE
b/redhat/configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE
--- a/redhat/configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE
+++ b/redhat/configs/fedora/generic/arm/armv7/CONFIG_HIGHPTE
@@ -1,2 +1,2 @@
# TODO fix due to hardware errata
-CONFIG_HIGHPTE=y
+# CONFIG_HIGHPTE is not set
--
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/867