--- /dev/null
+--- VirtualBox-6.1.2/src/VBox/HostDrivers/linux/export_modules.sh.orig 2020-02-14 01:33:04.739918751 +0100
++++ VirtualBox-6.1.2/src/VBox/HostDrivers/linux/export_modules.sh 2020-02-14 01:33:35.779769111 +0100
+@@ -173,8 +173,8 @@
+ < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile
+ else
+ sed -e "s;VBOX_WITH_HARDENING;;g" \
+- -e "s;VBOX_WITH_EFLAGS_AC_SET_IN_VBOXDRV;;g" \
+- -e "s;IPRT_WITH_EFLAGS_AC_PRESERVING;;g" \
++ -e "s;VBOX_WITHOUT_EFLAGS_AC_SET_IN_VBOXDRV;;g" \
++ -e "s;IPRT_WITHOUT_EFLAGS_AC_PRESERVING;;g" \
+ < $PATH_VBOXDRV/linux/Makefile > $PATH_TMP/vboxdrv/Makefile
+ fi
+