kernel: make ISDN build again