diff -ur xen-4.3.1.orig/stubdom/grub/config.h xen-4.3.1/stubdom/grub/config.h
--- stubdom/grub/config.h	2013-10-30 16:18:28.000000000 +0800
+++ stubdom/grub/config.h	2013-12-09 17:12:14.209783970 +0800
@@ -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.3.1.orig/xen/include/xen/libelf.h xen-4.3.1/xen/include/xen/libelf.h
--- xen/include/xen/libelf.h	2013-10-30 16:18:28.000000000 +0800
+++ xen/include/xen/libelf.h	2013-12-09 17:14:09.249788085 +0800
@@ -37,6 +37,7 @@
 #ifdef __XEN__
 #include <public/elfnote.h>
 #include <public/features.h>
+#include <xen/string.h>
 #include <xen/stdbool.h>
 #else
 #include <xen/elfnote.h>
@@ -44,6 +45,7 @@
 
 #include <stdarg.h>
 #include <stdbool.h>
+#include <string.h>
 
 struct elf_binary;
 typedef void elf_log_callback(struct elf_binary*, void *caller_data,