Comment 19 for bug 1313196

After installing also https://launchpad.net/~canonical-kernel-team/+archive/ppa/+files/linux-image-extra-3.13.0-28-generic_3.13.0-28.51_amd64.deb (as suggested by Jonathan here: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1303420/comments/21) I can boot with this kernel image. The wifi switch works just like in 3.14-rc4+ (i.e.: it performs a soft block, rfkill list shows no hp-* entries).