Set default kernel to 3.8

Following discussion from https://github.com/NixOS/nixos/issues/157, is anything stopping us from upgrading default kernel to 3.8?