ipmi(4)/isa woes

Hi folks,

I've got a machine where ipmi(4) seem to be unable to fully attach.
10-current kernel complains the following way:

ipmi0: <IPMI System Interface> at iomem 0-0x1 on isa0
ipmi0: KCS mode found at mem 0x0 alignment 0x1 on isa
ipmi0: couldn't configure I/O resource
device_attach: ipmi0 attach returned 6

Now, 6 is ENXIO, which match the following resource allocation failure:

  if (info.offset == 1) {
          sc->ipmi_io_rid = 0;
          sc->ipmi_io_res[0] = bus_alloc_resource(dev, type,
              &sc->ipmi_io_rid, info.address, info.address + count - 1,
              count, RF_ACTIVE);
          if (sc->ipmi_io_res[0] == NULL) {
                  device_printf(dev, "couldn't configure I/O resource\n");
                  return (ENXIO);
          }
  }

Has anyone encountered this issue ?

Thanks,
 - Arnaud