fedora: fixes for ARMv7 build issue by disabling HIGHPTE

pbrobinsonrequested to merge
pbrobinson/kernel-ark:fedora-armv7 into os-build

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@redhat.com

Merge request reports