--- tools/firmware/hvmloader/Makefile.org	2010-03-15 11:59:04.617764082 +0100
+++ tools/firmware/hvmloader/Makefile	2010-03-15 11:58:55.936761608 +0100
@@ -50,6 +50,7 @@ hvmloader: $(OBJS) acpi/acpi.a
 roms.h: ../rombios/BIOS-bochs-latest ../vgabios/VGABIOS-lgpl-latest.bin \
 	../vgabios/VGABIOS-lgpl-latest.cirrus.bin ../etherboot/eb-roms.h
 	sh ./mkhex rombios ../rombios/BIOS-bochs-latest > roms.h
+	sh ./mkhex vgabios_pt ../vgabios/vgabios-pt.bin >> roms.h         
 	sh ./mkhex vgabios_stdvga ../vgabios/VGABIOS-lgpl-latest.bin >> roms.h
 	sh ./mkhex vgabios_cirrusvga \
 		../vgabios/VGABIOS-lgpl-latest.cirrus.bin >> roms.h