diff --git a/.github/workflows/build-firmware.yaml b/.github/workflows/build-firmware.yaml
index cce8c09216..0157ea11df 100644
--- a/.github/workflows/build-firmware.yaml
+++ b/.github/workflows/build-firmware.yaml
@@ -42,7 +42,7 @@ jobs:
             efi-cpu: ARCH_STM32F4
             efi-board: prometheus/f469
 
-          - build-target: proteus
+          - build-target: proteus-f7
             efi-cpu: ARCH_STM32F7
             efi-board: proteus
 
diff --git a/firmware/config/stm32f7ems/efifeatures.h b/firmware/config/stm32f7ems/efifeatures.h
index cca75ae306..2784f4cf71 100644
--- a/firmware/config/stm32f7ems/efifeatures.h
+++ b/firmware/config/stm32f7ems/efifeatures.h
@@ -80,6 +80,8 @@
 // todo: start using consoleUartDevice? Not sure
 #undef EFI_CONSOLE_SERIAL_DEVICE
 
+#undef EFI_CONSOLE_UART_DEVICE
+
 // todo: our "DMA-half" ChibiOS patch not implemented for USARTv2/STM32F7
 #undef TS_UART_DMA_MODE
 #define TS_UART_DMA_MODE FALSE