[Libosinfo] [PATCH osinfo-db 6/6] debian9: Fix arm64 media paths

[Cole Robinson]

Signed-off-by: Cole Robinson <crobinso at redhat.com>
---
 data/os/debian.org/debian-9.xml.in | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/data/os/debian.org/debian-9.xml.in b/data/os/debian.org/debian-9.xml.in
index 9a844f8..12c15c9 100644
--- a/data/os/debian.org/debian-9.xml.in
+++ b/data/os/debian.org/debian-9.xml.in
@@ -74,8 +74,8 @@
       <iso>
         <volume-id>Debian 9.(\d)+.(\d)+ arm64 n</volume-id>
       </iso>
-      <kernel>install.arm64/vmlinuz</kernel>
-      <initrd>install.arm64/initrd.gz</initrd>
+      <kernel>install.a64/vmlinuz</kernel>
+      <initrd>install.a64/initrd.gz</initrd>
     </media>
     <media arch="armv7l">
       <variant id="universal-netinst"/>
@@ -130,8 +130,8 @@
       <iso>
         <volume-id>Debian 9.(\d)+.(\d)+ arm64 (\d)+</volume-id>
       </iso>
-      <kernel>install.arm64/vmlinuz</kernel>
-      <initrd>install.arm64/initrd.gz</initrd>
+      <kernel>install.a64/vmlinuz</kernel>
+      <initrd>install.a64/initrd.gz</initrd>
     </media>
     <media arch="armv7l">
       <variant id="universal"/>
-- 
2.21.0