$NetBSD: patch-firmware_hvmloader_Makefile,v 1.1 2015/01/20 16:42:13 bouyer Exp $

--- firmware/hvmloader/Makefile.orig	2015-01-12 17:53:24.000000000 +0100
+++ firmware/hvmloader/Makefile	2015-01-19 13:16:37.000000000 +0100
@@ -26,7 +26,7 @@
 # The HVM loader is started in 32-bit mode at the address below:
 LOADADDR = 0x100000
 
-CFLAGS += $(CFLAGS_xeninclude)
+CFLAGS += $(CFLAGS_xeninclude) $(EXTRA_CFLAGS)
 
 OBJS  = hvmloader.o mp_tables.o util.o smbios.o 
 OBJS += smp.o cacheattr.o xenbus.o
