CAPI4Linux und smp-Kernel