--- a/tools/firmware/hvmloader/Makefile	2012-06-18 01:02:20.000000000 +0200
+++ b/tools/firmware/hvmloader/Makefile	2012-06-18 01:26:41.000000000 +0200
@@ -66,6 +66,7 @@ CFLAGS += -DENABLE_ROMBIOS
 ROMBIOS_ROM := $(ROMBIOS_DIR)/BIOS-bochs-latest
 ROMS += $(ROMBIOS_ROM) $(STDVGA_ROM) $(CIRRUSVGA_ROM) $(ETHERBOOT_ROMS)
 endif
+PTVGA_ROM     := ../vgabios/vgabios-pt.bin
 
 ifeq ($(CONFIG_SEABIOS),y)
 OBJS += seabios.o
@@ -100,6 +101,11 @@ ifneq ($(SEABIOS_ROM),)
 	sh ./mkhex seabios $(SEABIOS_ROM) >> $@.new
 	echo "#endif" >> $@.new
 endif
+ifneq ($(PTVGA_ROM),)
+	echo "#ifdef ROM_INCLUDE_PTVGABIOS" >> $@.new
+	sh ./mkhex vgabios_pt $(PTVGA_ROM) >> $@.new
+	echo "#endif" >> $@.new
+endif
 
 ifneq ($(OVMF_ROM),)
 	echo "#ifdef ROM_INCLUDE_OVMF" >> $@.new