This includes a few headers to fix some missing function declarations.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>

diff --git a/stubdom/grub/config.h b/stubdom/grub/config.h
index 1649d51..15a6583 100644
--- a/stubdom/grub/config.h
+++ b/stubdom/grub/config.h
@@ -2,6 +2,7 @@
 #undef putchar
 #include <ctype.h>
 #include <string.h>
+#include <kernel.h>
 #define debug _debug
 #define grub_halt(a) do_exit()
 #define printf grub_printf
diff -ur xen-4.2.3.orig/xen/include/xen/libelf.h xen-4.2.3/xen/include/xen/libelf.h
--- xen-4.2.3.orig/xen/include/xen/libelf.h	2013-09-09 20:27:41.000000000 +0800
+++ xen-4.2.3/xen/include/xen/libelf.h	2014-02-15 13:42:24.491435783 +0800
@@ -37,12 +37,14 @@
 #ifdef __XEN__
 #include <public/elfnote.h>
 #include <public/features.h>
+#include <xen/string.h>
 #include <xen/stdbool.h>
 #else
 #include <xen/elfnote.h>
 #include <xen/features.h>
 
 #include <stdarg.h>
+#include <string.h>
 #include <stdbool.h>
 
 struct elf_binary;