acpi: move \_SB.HPET to separate file [q35]

Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
diff --git a/src/q35-acpi-dsdt.dsl b/src/q35-acpi-dsdt.dsl
index e61f142..737a358 100644
--- a/src/q35-acpi-dsdt.dsl
+++ b/src/q35-acpi-dsdt.dsl
@@ -360,6 +360,8 @@
         }
     }
 
+#include "acpi-dsdt-hpet.dsl"
+
     Scope(\_SB.PCI0) {
         Device (VGA) {
                  Name (_ADR, 0x00020000)
@@ -420,25 +422,6 @@
                 FDEN,   1
             }
 
-            /* High Precision Event Timer */
-            Device(HPET) {
-                Name(_HID,  EISAID("PNP0103"))
-                Name(_UID, 0)
-                Method (_STA, 0, NotSerialized) {
-                        Return(0x0F)
-                }
-                Name(_CRS, ResourceTemplate() {
-                    DWordMemory(
-                        ResourceConsumer, PosDecode, MinFixed, MaxFixed,
-                        NonCacheable, ReadWrite,
-                        0x00000000,
-                        0xFED00000,
-                        0xFED003FF,
-                        0x00000000,
-                        0x00000400 /* 1K memory: FED00000 - FED003FF */
-                    )
-                })
-            }
             /* Real-time clock */
             Device (RTC)
             {