Dec  4 16:42:59 CNCController kernel: [  115.563735] ------------[ cut here ]------------
Dec  4 16:42:59 CNCController kernel: [  115.563738] WARNING: at /tmp/buildd/linux-3.4.55/debian/build/source_rtai/kernel/softirq.c:159 local_bh_enable+0x80/0xb0()
Dec  4 16:42:59 CNCController kernel: [  115.563741] Hardware name: SG33
Dec  4 16:42:59 CNCController kernel: [  115.563742] Modules linked in: stepgen(O) motmod(O) trivkins(O) lcec(O) hal_lib(O) rtapi(O) rtai_math(O) rtai_sched(O) rtai_hal(O) parport_pc ppdev lp parport bnep rfcomm bluetooth rfkill uinput nfsd nfs nfs_acl auth_rpcgss fscache lockd sunrpc ec_generic(O) ec_master(O) loop r8712u(C) snd_hda_codec_hdmi snd_hda_codec_realtek i915 video drm_kms_helper drm snd_hda_intel snd_hda_codec snd_hwdep snd_pcm snd_page_alloc i2c_i801 i2c_algo_bit iTCO_wdt iTCO_vendor_support snd_seq snd_seq_device snd_timer snd i2c_core psmouse coretemp evdev serio_raw soundcore button ext4 crc16 jbd2 mbcache usbhid hid sg sd_mod crc_t10dif sr_mod cdrom ata_generic firewire_ohci pata_jmicron fan thermal_sys firewire_core crc_itu_t ata_piix microcode uhci_hcd sky2 libata scsi_mod ehci_hcd usbcore usb_common [last unloaded: rtai_hal]
Dec  4 16:42:59 CNCController kernel: [  115.563816] Pid: 3944, comm: linuxcnc Tainted: G         C O 3.4-9-rtai-686-pae #1
Dec  4 16:42:59 CNCController kernel: [  115.563818] Call Trace:
Dec  4 16:42:59 CNCController kernel: [  115.563820]  [<c102adf8>] ? warn_slowpath_common+0x78/0xb0
Dec  4 16:42:59 CNCController kernel: [  115.563823]  [<c1030840>] ? local_bh_enable+0x80/0xb0
Dec  4 16:42:59 CNCController kernel: [  115.563825]  [<c1030840>] ? local_bh_enable+0x80/0xb0
Dec  4 16:42:59 CNCController kernel: [  115.563828]  [<c102ae4b>] ? warn_slowpath_null+0x1b/0x20
Dec  4 16:42:59 CNCController kernel: [  115.563830]  [<c1030840>] ? local_bh_enable+0x80/0xb0
Dec  4 16:42:59 CNCController kernel: [  115.563833]  [<c1291798>] ? dev_queue_xmit+0x188/0x530
Dec  4 16:42:59 CNCController kernel: [  115.563835]  [<c104ec08>] ? get_parent_ip+0x8/0x20
Dec  4 16:42:59 CNCController kernel: [  115.563838]  [<c13432df>] ? packet_sendmsg+0xa7f/0xb20
Dec  4 16:42:59 CNCController kernel: [  115.563841]  [<c1288600>] ? __skb_recv_datagram+0x240/0x260
Dec  4 16:42:59 CNCController kernel: [  115.563843]  [<c13417d7>] ? packet_recvmsg+0x57/0x4b0
Dec  4 16:42:59 CNCController kernel: [  115.563846]  [<c127ccd5>] ? sock_sendmsg+0xf5/0x110
Dec  4 16:42:59 CNCController kernel: [  115.563848]  [<c127cd1f>] ? kernel_sendmsg+0x2f/0x50
Dec  4 16:42:59 CNCController kernel: [  115.563850]  [<f829d32b>] ? ec_gen_device_start_xmit+0x6b/0x90 [ec_generic]
Dec  4 16:42:59 CNCController kernel: [  115.563853]  [<f95291f7>] ? ec_device_send+0x37/0xc0 [ec_master]
Dec  4 16:42:59 CNCController kernel: [  115.563856]  [<f953f7d1>] ? ec_master_send_datagrams+0x1c1/0x2f0 [ec_master]
Dec  4 16:42:59 CNCController kernel: [  115.563859]  [<f9528f36>] ? ec_datagram_pair_process+0x16/0x50 [ec_master]
Dec  4 16:42:59 CNCController kernel: [  115.563861] ---[ end trace 4c55c7eef68d2272 ]---