On Tue, 2013-04-30 at 20:02 +0200, Roberto CORRADO wrote:> [ 8.910064] ------------[ cut here ]------------> [ 8.911030] kernel BUG at net/rfkill/core.c:244!BUG_ON(!rfkill);Arguably, it need not BUG_ON(), but you should talk to somebody else:> [ 8.911030] [<f863122f>] hp_wmi_bios_setup+0x22f/0x34d [hp_wmi]johannes