roms: also copy the dsdt when updating seabios.

Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>

diff --git a/roms/Makefile b/roms/Makefile
index feb9c2b145df40d4bec0567cdf924c7534190509..5e645bc7d1077cb70702da2fd0a4970cbab1b4e9 100644 (file)
--- a/roms/Makefile
+++ b/roms/Makefile
@@ -12,6 +12,7 @@ bios: config.seabios
        sh configure-seabios.sh $<
        make -C seabios out/bios.bin
        cp seabios/out/bios.bin ../pc-bios/bios.bin
+       cp seabios/out/*dsdt.aml ../pc-bios/
 
 seavgabios: $(patsubst %,seavgabios-%,$(vgabios_variants))