--- zzzz-none-000/linux-3.10.107/arch/mips/pci/pci-bcm1480.c	2017-06-27 09:49:32.000000000 +0000
+++ vr9-7490-729/linux-3.10.107/arch/mips/pci/pci-bcm1480.c	2021-11-10 11:53:54.000000000 +0000
@@ -39,6 +39,7 @@
 #include <linux/mm.h>
 #include <linux/console.h>
 #include <linux/tty.h>
+#include <linux/vt.h>
 
 #include <asm/sibyte/bcm1480_regs.h>
 #include <asm/sibyte/bcm1480_scd.h>