-#Patch12: %{name}-0.7.2-dyngen-check-stack-clobbers.patch
-Patch13: %{name}-dosguest.patch
-Patch14: %{name}-ppc_old_binutils.patch
-Patch15: %{name}-isa-bios-ram.patch
-# below one fixes problems with passing ram size to bios/bootloader
-# which affects coreboot/linuxbios
-Patch16: %{name}-piix-ram-size.patch