for compatibility with kernel 4.7
--- /dev/null
+--- VirtualBox-5.1.2/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h.orig 2016-08-02 17:32:06.189576892 +0200
++++ VirtualBox-5.1.2/src/VBox/Runtime/r0drv/linux/the-linux-kernel.h 2016-08-02 17:33:03.373118295 +0200
+@@ -249,7 +249,7 @@
+ #elif LINUX_VERSION_CODE >= KERNEL_VERSION(2, 6, 8) && defined(PAGE_KERNEL_EXEC) && defined(CONFIG_X86_PAE)
+ # ifdef __PAGE_KERNEL_EXEC
+ /* >= 2.6.27 */
+-# define MY_PAGE_KERNEL_EXEC __pgprot(cpu_has_pge ? __PAGE_KERNEL_EXEC | _PAGE_GLOBAL : __PAGE_KERNEL_EXEC)
++# define MY_PAGE_KERNEL_EXEC __pgprot(boot_cpu_has(X86_FEATURE_PGE) ? __PAGE_KERNEL_EXEC | _PAGE_GLOBAL : __PAGE_KERNEL_EXEC)
+ # else
+ # define MY_PAGE_KERNEL_EXEC __pgprot(cpu_has_pge ? _PAGE_KERNEL_EXEC | _PAGE_GLOBAL : _PAGE_KERNEL_EXEC)
+ # endif
Patch12: %{pname}-all-translations.patch
Patch13: x32.patch
Patch14: %{pname}-no-scrextend.patch
+Patch15: %{pname}-cpu_has_pge.patch
URL: http://www.virtualbox.org/
%if %{with userspace}
%ifarch %{x8664}
%endif
%patch13 -p1
%patch14 -p1
+%patch15 -p1
%{__sed} -i -e 's,@VBOX_DOC_PATH@,%{_docdir}/%{name}-%{version},' \
-e 's/Categories=.*/Categories=Utility;Emulator;/' src/VBox/Installer/common/virtualbox.desktop.in