--- src/VBox/HostDrivers/VBoxNetFlt/freebsd/files_vboxnetflt.orig	2022-10-06 19:11:15.000000000 +0200
+++ src/VBox/HostDrivers/VBoxNetFlt/freebsd/files_vboxnetflt	2024-12-26 15:41:50.870345000 +0100
@@ -72,6 +72,7 @@
     ${PATH_ROOT}/include/iprt/uni.h=>include/iprt/uni.h \
     ${PATH_ROOT}/include/iprt/utf16.h=>include/iprt/utf16.h \
     ${PATH_ROOT}/include/iprt/uuid.h=>include/iprt/uuid.h \
+    ${PATH_ROOT}/include/iprt/x86.h=>include/iprt/x86.h \
     ${PATH_ROOT}/include/iprt/x86-helpers.h=>include/iprt/x86-helpers.h \
     ${PATH_ROOT}/include/iprt/nocrt/limits.h=>include/iprt/nocrt/limits.h \
     ${PATH_ROOT}/include/VBox/cdefs.h=>include/VBox/cdefs.h \