[COMMIT osv master] arm mmio serial console: use id passed in DTB for irqid instead of a hardcoded number

[Commit Bot]

From: Waldemar Kozaczuk <jwkoz...@gmail.com>
Committer: Waldemar Kozaczuk <jwkoz...@gmail.com>
Branch: master

arm mmio serial console: use id passed in DTB for irqid instead of a hardcoded number

Signed-off-by: Waldemar Kozaczuk <jwkoz...@gmail.com>

---
diff --git a/drivers/mmio-isa-serial.cc b/drivers/mmio-isa-serial.cc
--- a/drivers/mmio-isa-serial.cc
+++ b/drivers/mmio-isa-serial.cc
@@ -36,7 +36,7 @@ void mmio_isa_serial_console::memory_map()
}

void mmio_isa_serial_console::dev_start() {
- _irq.reset(new spi_interrupt(gic::irq_type::IRQ_TYPE_EDGE, 64,
+ _irq.reset(new spi_interrupt(gic::irq_type::IRQ_TYPE_EDGE, irqid,
[&] { return true; },
[&] { _thread->wake(); }));
enable_interrupt();