Don't include etherboot.h; we get a circular dependency

src/include/buffer.h

 #ifndef BUFFER_H
 #define BUFFER_H
 
-#include "etherboot.h"
+#include "compiler.h"
+#include "stdint.h"
 
 /** @file
  *