Re: [OS-BUILD PATCH] fedora: fixes for ARMv7 build issue by disabling HIGHPTE