Remove the platform interface

We now automatically detect everything that the platform interface used
to be used for, so it's now obsolete!

1 files changed, 0 insertions, 1 deletions

diff --git a/bbl/bbl.c b/bbl/bbl.c
index 1f91ea2..1b96a9d 100644
--- a/bbl/bbl.c
+++ b/bbl/bbl.c
@@ -5,7 +5,6 @@
 #include "bits.h"
 #include "config.h"
 #include "fdt.h"
-#include "platform_interface.h"
 #include <string.h>
 
 static const void* entry_point;