diff --git a/arch/arm/boards/optimus/optimus.c b/arch/arm/boards/optimus/optimus.c
index 59e3344..947ba22 100644
--- a/arch/arm/boards/optimus/optimus.c
+++ b/arch/arm/boards/optimus/optimus.c
@@ -229,7 +229,7 @@
  * 0x<address>" from barebox. */
 int optimus_board_id = 0x9999999;
 
-int get_board_id(void) {
+int get_board_id_gpio(void) {
 	int board_id;
 	/* We determine the type of board by reading GPIO pins 57, 56 and 55
 	 * The bit patterns are defined as follows:
@@ -256,6 +256,11 @@
 
 	return board_id;
 }
+EXPORT_SYMBOL(get_board_id_gpio)
+
+int get_board_id(void) {
+	return get_board_id_gpio();
+}
 EXPORT_SYMBOL(get_board_id)
 
 #ifdef	CONFIG_TPM
diff --git a/include/board_id.h b/include/board_id.h
index b5b9a73..c243042 100644
--- a/include/board_id.h
+++ b/include/board_id.h
@@ -6,5 +6,6 @@
 #define SPACECAST_BOARD_ID	2
 
 int get_board_id(void);
+int get_board_id_gpio(void);
 
 #endif /* __BOARD_ID_H */