amd64 install failed on HP EliteBook 830

["K. Schreiner" <ks%ub.uni-mainz.de@localhost>]

Hi,

while trying to boot an amd64 install kernel (from usb stick) on an HP
EliteBook 830 I got a panic in acpi_intr_string after trying to attach
ihidev0 saying "can't establish interrupt". (sorry, no trace)

Looking at the code I came up with te following patch which get the
kernel to boot:

cvs diff -u sys/dev/i2c/ihidev.c
Index: sys/dev/i2c/ihidev.c
===================================================================
RCS file: /cvsroot/src/sys/dev/i2c/ihidev.c,v
retrieving revision 1.7
diff -u -r1.7 ihidev.c
--- sys/dev/i2c/ihidev.c        16 Nov 2018 23:05:50 -0000      1.7
+++ sys/dev/i2c/ihidev.c        26 Sep 2019 08:04:36 -0000
@@ -210,8 +210,10 @@

                sc->sc_ih = acpi_intr_establish(self, sc->sc_phandle, IPL_TTY,
                    false, ihidev_intr, sc, device_xname(self));
-               if (sc->sc_ih == NULL)
+               if (sc->sc_ih == NULL) {
                        aprint_error_dev(self, "can't establish interrupt\n");
+                       return;
+               }
                aprint_normal_dev(self, "interrupting at %s\n",
                    acpi_intr_string(sc->sc_ih, buf, sizeof(buf)));
        }

Kurt