--- 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