Set default kernel to 3.8

Following discussion from NixOS/157, is anything stopping us from upgrading default kernel to 3.8?