diff --git a/src/core/sal/bochs/Breakpoints.ah b/src/core/sal/bochs/Breakpoints.ah
index fef308ad..3e0d16ab 100644
--- a/src/core/sal/bochs/Breakpoints.ah
+++ b/src/core/sal/bochs/Breakpoints.ah
@@ -1,6 +1,7 @@
 #ifndef __BREAKPOINTS_AH__
   #define __BREAKPOINTS_AH__
 
+#include "config/VariantConfig.hpp"
 #include "config/FailConfig.hpp"
 
 #ifdef BUILD_BOCHS
diff --git a/src/core/sal/bochs/RestoreState.ah b/src/core/sal/bochs/RestoreState.ah
index f31187f8..2d1ad07e 100644
--- a/src/core/sal/bochs/RestoreState.ah
+++ b/src/core/sal/bochs/RestoreState.ah
@@ -1,6 +1,7 @@
 #ifndef __RESTORE_STATE_AH__
   #define __RESTORE_STATE_AH__
 
+#include "config/VariantConfig.hpp"
 #include "config/FailConfig.hpp"
 
 #ifdef BUILD_BOCHS
diff --git a/src/core/sal/bochs/SaveState.ah b/src/core/sal/bochs/SaveState.ah
index 3e9dbbbb..5fbf26b8 100644
--- a/src/core/sal/bochs/SaveState.ah
+++ b/src/core/sal/bochs/SaveState.ah
@@ -1,6 +1,7 @@
 #ifndef _SAVE_STATE_AH__
   #define _SAVE_STATE_AH__
 
+#include "config/VariantConfig.hpp"
 #include "config/FailConfig.hpp"
 
 #ifdef BUILD_BOCHS