diff --git a/src/mainboard/ti/beaglebone/romstage.c b/src/mainboard/ti/beaglebone/romstage.c
index e809ce4f5b..cbae566e54 100644
--- a/src/mainboard/ti/beaglebone/romstage.c
+++ b/src/mainboard/ti/beaglebone/romstage.c
@@ -13,10 +13,6 @@
  * GNU General Public License for more details.
  */
 
-#include <types.h>
-
-#include <armv7.h>
-
 #include <program_loading.h>
 #include <console/console.h>