It looks like most of the hisax ISDN modules are not
compiled for the binary kernel that we ship; For most of
the drivers in /usr/src/linux/drivers/isdn/hisax, there are
no corresponding .o modules in /lib/modules/`uname -r`/misc
Some of those drivers will panic the kernel on insmod, so we'd rather
not ship it.