Linux kernel 3.0.12
Regenerate defconfig