Update BIG-GNU default configuration to kernel 3.12