Are people using the new FXP kernel? I want to use it...but I also want overclocking :< I'm still having issues with WiFi not turning on. The only way to fix it with these new builds based off FXP123 is with their new kernel. I wonder what's missing..