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.