diff -r 56fc712b36f3 xen/arch/x86/boot/Makefile
--- a/xen/arch/x86/boot/Makefile	Thu Apr 15 19:19:50 2010 +0100
+++ b/xen/arch/x86/boot/Makefile	Fri Apr 16 13:48:43 2010 +0200
@@ -2,7 +2,7 @@ obj-y += head.o
 
 head.o: reloc.S
 
-BOOT_TRAMPOLINE := $(shell sed -n 's,^\#define[[:space:]]\+BOOT_TRAMPOLINE[[:space:]]\+,,p' $(BASEDIR)/include/asm-x86/config.h)
+BOOT_TRAMPOLINE := $(shell sed -n 's,^\#define[[:space:]]\{1\,\}BOOT_TRAMPOLINE[[:space:]]\{1\,\},,p' $(BASEDIR)/include/asm-x86/config.h)
 %.S: %.c
 	RELOC=$(BOOT_TRAMPOLINE) XEN_BITSPERLONG=$(patsubst x86_%,%,$(TARGET_SUBARCH)) $(MAKE) -f build32.mk $@