I have to update the stock oS 13.1 64-bit kernel 3.11.6 with the version in kernel:/stable/standard, as the Pavilion 14 sleekbook I finally got to dualboot W8 & oS13.1 need kernel 3.11.8+ for the Ralink RT3290 wireless to work.

Currently both OSes are booting with secure mode enabled. I read in oldcpu/nickert thread on the subject, that Tumbleweed's kernel is not signed, but couldn't find out if the stable kernel, currently 3.13.0, is signed.

If not, I understand I'd have to disable secureboot (obviously) in BIOS and change the boot file settings in W8 from shim.efi to grubx64.efi. Is that correct?